The following pages link to Cédric Meuter (Q963346):
Displayed 4 items.
- On the complexity of partial order trace model checking (Q963347) (← links)
- The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin (Q2576584) (← links)
- Testing Distributed Systems Through Symbolic Model Checking (Q3612360) (← links)
- Principles of Distributed Systems (Q5466224) (← links)