From model checking to a temporal proof
- Doron Peled
- , Lenore Zuck
- Lucent
- New York University
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
31
Scopus
citations