Pages that link to "Item:Q2476788"
From MaRDI portal
The following pages link to ACTLW -- an action-based computation tree logic with unless operator (Q2476788):
Displaying 8 items.
- ACTLW (Q32844) (← links)
- Modal transition systems with weight intervals (Q444490) (← links)
- Model checking fuzzy computation tree logic (Q529056) (← links)
- A state/event-based model-checking approach for the analysis of abstract system properties (Q617925) (← links)
- An accessible verification environment for UML models of services (Q617979) (← links)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- ACTLW -- an action-based computation tree logic with unless operator (Q2476788) (← links)
- Model Checking Value-Passing Modal Specifications (Q3455083) (← links)
