Fingerprint
Dive into the research topics of 'A probabilistic extension of UML statecharts: specification and verification'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
D.N. Jansen, H. Hermanns, Joost P. Katoen
Research output: Book/Report › Report › Other research output