Model Checking: A Complexity-Theoretic P
✍
Moshe Vardi
📂
Article
📅
2002
🏛
Elsevier Science
🌐
English
⚖ 30 KB