G.S. Manku
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M97/92
December 1997
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/ERL-97-92.pdf
BibTeX citation:
@techreport{Manku:M97/92, Author = {Manku, G.S.}, Title = {Structural Symmetries and Model Checking}, Institution = {EECS Department, University of California, Berkeley}, Year = {1997}, Month = {Dec}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/3351.html}, Number = {UCB/ERL M97/92} }
EndNote citation:
%0 Report %A Manku, G.S. %T Structural Symmetries and Model Checking %I EECS Department, University of California, Berkeley %D 1997 %@ UCB/ERL M97/92 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/3351.html %F Manku:M97/92