The following pages link to CONCUR 2003 - Concurrency Theory (Q5900571):
Displaying 6 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Multi-valued model checking games (Q414899) (← links)
- Model checking fuzzy computation tree logic (Q529056) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- Model checking computation tree logic over finite lattices (Q896917) (← links)