| Document Date: 2006-10-02 15:04:33
Open Document File Size: 201,11 KBShare Result on Facebook
Company S. Solutions / Discrete Event Systems / / / Facility University of California Berkeley / Indian Institute of Technology / / IndustryTerm sub-solution / final solution / logic network / automaton solution / deterministic solutions / final processing / regular product / graph pre-processing step / solution automaton solution / transportation strategy / recent efficient algorithms / particular solution / sub-solutions / / Organization University of California / Acc / Administrative Committee on Coordination / Indian Institute of Technology / / Person Alan Mishchenko / Robert Brayton / Alberto Sangiovanni-Vincentelli / / Position straight-forward / representative / General / controller / / PublishedMedium Lecture Notes in Computer Science / IEEE Transactions on Computers / / Technology 5 6 Algorithms / finite state machine / /
SocialTag |
Sequential Synthesis with Co-Büchi Specifications Guoqiang Wang, Alan Mishchenko, Robert Brayton, and Alberto Sangiovanni-Vincentelli EECS Dept. University of California Berkeley, California, 94720, USA {geraldw, alanmi