Symmetry in Temporal Logic Model Checking
ACM Computing Surveys - United States
doi 10.1145/1132960.1132962
Full Text
Open PDFAbstract
Available in full text
Date
September 30, 2006
Authors
Publisher
Association for Computing Machinery (ACM)
Available in full text
September 30, 2006
Association for Computing Machinery (ACM)