Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Synthesizing FSMs According to co-bu chi Properties

G. Wang, A. Mishchenko, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M05/13
April 2005


BibTeX citation:

@techreport{Wang:M05/13,
    Author = {Wang, G. and Mishchenko, A. and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.},
    Title = {Synthesizing FSMs According to co-bu chi Properties},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2005},
    Month = {Apr},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2005/4308.html},
    Number = {UCB/ERL M05/13}
}

EndNote citation:

%0 Report
%A Wang, G.
%A Mishchenko, A.
%A Brayton, Robert K.
%A Sangiovanni-Vincentelli, Alberto L.
%T Synthesizing FSMs According to co-bu chi Properties
%I EECS Department, University of California, Berkeley
%D 2005
%@ UCB/ERL M05/13
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2005/4308.html
%F Wang:M05/13