Pages that link to "Item:Q2213111"
From MaRDI portal
The following pages link to Computation tree logic model checking based on multi-valued possibility measures (Q2213111):
Displaying 7 items.
- Computation tree logic model checking based on possibility measures (Q529055) (← links)
- Model checking computation tree logic over finite lattices (Q896917) (← links)
- Computation tree logic model checking over possibilistic decision processes under finite-memory scheduler (Q2090217) (← links)
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures (Q2219195) (← links)
- Fixed-point semantics of computation tree logic based on generalized possibility measures (Q3461727) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900571) (← links)
- Generalized possibility computation tree logic with frequency and its model checking (Q6596703) (← links)