Fingerprint Dive into the research topics of 'Closing open SDL-systems for model checking with DTSpin'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Closing open SDL-systems for model checking with DTSpin
N. Ioustinova, N. Sidorova, M. Steffen
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
10
Citations
(Scopus)