Fingerprint
Dive into the research topics of 'Refinement checking on parametric modal transition systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Refinement checking on parametric modal transition systems
Nikola Beneš, Jan Křetínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jiří Srba
Research output: Contribution to journal › Article › peer-review
5
Scopus
citations