Fingerprint
Dive into the research topics of 'Parametric temporal logic for model measuring'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Parametric temporal logic for model measuring
Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
40
Scopus
citations