Pages that link to "Item:Q1326587"
From MaRDI portal
The following pages link to Model checking for action-based logics (Q1326587):
Displaying 5 items.
- Model checking fuzzy computation tree logic (Q529056) (← links)
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Q1858428) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- ACTLW -- an action-based computation tree logic with unless operator (Q2476788) (← links)
- Quantitative Analysis of Communication Scenarios (Q2945583) (← links)
