Pages that link to "Christel Baier"
Showing 23 items.
- Model checking (links | edit)
- Rudolf Bayer (links | edit)
- Bisimulation (links | edit)
- Linear temporal logic (links | edit)
- Kripke structure (model checking) (links | edit)
- CTL* (links | edit)
- Transition system (links | edit)
- Baier (links | edit)
- Orc (programming language) (links | edit)
- Reo Coordination Language (links | edit)
- Satisfiability (links | edit)
- Stutter bisimulation (links | edit)
- Prakash Panangaden (links | edit)
- Joost-Pieter Katoen (links | edit)
- International Conference on Concurrency Theory (links | edit)
- Linear time property (links | edit)
- Christel Baier (transclusion) (links | edit)
- Principles of Model Checking (links | edit)
- Twin-width (links | edit)
- Talk:Christel Baier (transclusion) (links | edit)
- User:CeTI Dresden/sandbox (links | edit)
- Wikipedia:WikiProject Women in Red/Metrics/October 2020 (links | edit)
- File:Principles of Model Checking.jpg (links | edit)