The following pages link to (Q4804906):
Displaying 6 items.
- Verification of scope-dependent hierarchical state machines (Q948087) (← links)
- Information flow analysis of scientific workflows (Q980980) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Towards deriving test sequences by model checking (Q2873605) (← links)
- (Q3624181) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311127) (← links)