swMATH9240MaRDI QIDQ21227FDOQ21227
Author name not available (Why is that?)
Official website: https://www7.in.tum.de/~kretinsk/motras.html
Cited In (13)
- \(k\)-bounded Petri net synthesis from modal transition systems
- Refinement checking on parametric modal transition systems
- A generalised theory of interface automata, component compatibility and error
- A generalised theory of interface automata, component compatibility and error
- MIO Workbench
- VMC
- APT
- Mica
- Logical vs. behavioural specifications
- Compositionality for quantitative specifications
- Nondeterministic modal interfaces
- Modal transition system encoding of featured transition systems
- MTSA
This page was built for software: Motras
