Symbolic state-space exploration and numerical analysis of state-sharing composed models

Salem Derisavi, Peter Kemper, William H. Sanders

Research output: Contribution to journalConference article

Fingerprint Dive into the research topics of 'Symbolic state-space exploration and numerical analysis of state-sharing composed models'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science