Fingerprint
Dive into the research topics of 'Automated testing of planning models'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Automated testing of planning models
Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith
Research output: Contribution to journal › Conference article › peer-review
5
Scopus
citations