Generalized Büchi automaton
Results: 1
| # | Item |
|---|---|
1 | 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, alanmiAdd to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2006-10-02 15:04:33 |