Fingerprint
Dive into the research topics of '30 Years of Statistical Model Checking'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
30 Years of Statistical Model Checking
Kim G. Larsen*, Axel Legay
*Corresponding author for this work
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Communication
1
Citation
(Scopus)