Fingerprint
Dive into the research topics of 'A graphical approach to component-based and extensible model checking platforms'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A graphical approach to component-based and extensible model checking platforms
M. Westergaard, L.M. Kristensen
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic