Treffer: Symmetry in Temporal Logic Model Checking.
Title:
Symmetry in Temporal Logic Model Checking.
Source:
ACM Computing Surveys. Sep2006, Vol. 38 Issue 3, p1-36. 36p.
Database:
Business Source Ultimate