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”
R. Alur, S. La Torre, K. Etessami, D. Peled
Research output: Contribution to journal › Article › peer-review
71
Scopus
citations