Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Implicit Computation of Compatible Sets for State Minimization of ISFSM's

T. Kam, T. Villa, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M95/106
1995


BibTeX citation:

@techreport{Kam:M95/106,
    Author = {Kam, T. and Villa, T. and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.},
    Title = {Implicit Computation of Compatible Sets for State Minimization of ISFSM's},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1995},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1995/2927.html},
    Number = {UCB/ERL M95/106}
}

EndNote citation:

%0 Report
%A Kam, T.
%A Villa, T.
%A Brayton, Robert K.
%A Sangiovanni-Vincentelli, Alberto L.
%T Implicit Computation of Compatible Sets for State Minimization of ISFSM's
%I EECS Department, University of California, Berkeley
%D 1995
%@ UCB/ERL M95/106
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1995/2927.html
%F Kam:M95/106