The following pages link to B. Ploeger (Q716319):
Displaying 6 items.
- Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322) (← links)
- Correcting a Space-Efficient Simulation Algorithm (Q3512514) (← links)
- Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems (Q3525633) (← links)
- Five Determinisation Algorithms (Q3602811) (← links)
- SWITCHING GRAPHS (Q3646171) (← links)
- Switching Graphs (Q4982090) (← links)
