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
11
Citations
(Scopus)