![](https://www.pdfsearch.io/img/3125552c893dad8bbbae77ebf96c616c.jpg)
| Document Date: 2009-02-25 10:33:24 Open Document File Size: 212,71 KBShare Result on Facebook
City Birmingham / / Company Pnueli / / Facility The University of Birmingham / / IndustryTerm symbolic fair cycle detection algorithms / network communication protocols / na¨ıve algorithm / potential applications / synthesis algorithm / finite-state reactive systems / computing / reactive systems / industrial control systems / main synthesis algorithm / / Organization School of Computer Science / UK Institut d’Informatique / University of Birmingham / / Person Rabin / Emerson / Lei / / Position forward / / ProvinceOrState New Brunswick / / Technology network communication protocols / main algorithm / main synthesis algorithm / synthesis algorithm / na¨ıve algorithm / symbolic fair cycle detection algorithms / /
SocialTag |