Pages that link to "Biography:Joost-Pieter Katoen"
From HandWiki
The following pages link to Biography:Joost-Pieter Katoen:
Displayed 3 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Stutter bisimulation (← links)
- Kripke structure (model checking) (← links)
- Biography:Christel Baier (← links)