Parametric temporal logic for model measuring
- Rajeev Alur
- , Kousha Etessami
- , Salvatore La Torre
- , Doron Peled
- University of Pennsylvania
- Lucent
- University of Salerno
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
40
Scopus
citations