Conference
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking.
Authors
Johnston W; Winter K; Berg LVD; Strooper PA; Robinson PJ
Editors
Misra J; Nipkow T; Sekerinski E
Series
Lecture Notes in Computer Science
Volume
4085
Pagination
pp. 524-540
Publisher
Springer
Publication Date
2006
ISBN-10
3-540-37215-6
Conference proceedings
FM