The following pages link to Arne Skou (Q1175939):
Displaying 7 items.
- Bisimulation through probabilistic testing (Q1175940) (← links)
- (Q2766627) (← links)
- (Q2769597) (← links)
- Design Verification Patterns (Q3526939) (← links)
- (Q4356436) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464469) (← links)
- Formal Approaches to Software Testing (Q5902014) (← links)
