The following pages link to (Q3424633):
Displaying 4 items.
- Hardness of preorder checking for basic formalisms (Q650916) (← links)
- EXPTIME-completeness of thorough refinement on modal transition systems (Q690504) (← links)
- Component simulation-based substitutivity managing QoS and composition issues (Q988175) (← links)
- Hardness of equivalence checking for composed finite-state systems (Q1015390) (← links)
