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: Contribution to journal › Article › peer-review