The following pages link to Motras (Q21227):
Displayed 8 items.
- Compositionality for quantitative specifications (Q1797783) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- A generalised theory of interface automata, component compatibility and error (Q2415373) (← links)
- Modal transition system encoding of featured transition systems (Q2423766) (← links)
- Nondeterministic modal interfaces (Q2629098) (← links)
- A Generalised Theory of Interface Automata, Component Compatibility and Error (Q2814126) (← links)
- k-Bounded Petri Net Synthesis from Modal Transition Systems. (Q5111618) (← links)