R. Alur, Robert K. Brayton, Thomas A. Henzinger, S. Qadeer and S.K. Rajamani
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M97/30
April 1997
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/ERL-97-30.pdf
BibTeX citation:
@techreport{Alur:M97/30, Author = {Alur, R. and Brayton, Robert K. and Henzinger, Thomas A. and Qadeer, S. and Rajamani, S.K.}, Title = {Partial-Order Reduction in Symbolic State Space Exploration}, Institution = {EECS Department, University of California, Berkeley}, Year = {1997}, Month = {Apr}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/3230.html}, Number = {UCB/ERL M97/30} }
EndNote citation:
%0 Report %A Alur, R. %A Brayton, Robert K. %A Henzinger, Thomas A. %A Qadeer, S. %A Rajamani, S.K. %T Partial-Order Reduction in Symbolic State Space Exploration %I EECS Department, University of California, Berkeley %D 1997 %@ UCB/ERL M97/30 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/3230.html %F Alur:M97/30