Pages that link to "Item:Q685107"
From MaRDI portal
The following pages link to Compositional checking of satisfaction (Q685107):
Displaying 8 items.
- A compositional \(\mu\)-calculus proof system for statecharts processes (Q1285661) (← links)
- Model checking and boolean graphs (Q1325844) (← links)
- Complete proof systems for weighted modal logic (Q2253184) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Compositionality of Hennessy-Milner logic by structural operational semantics (Q2368979) (← links)
- Temporal logic and categories of Petri nets (Q4630293) (← links)
- Abstract satisfaction (Q5408412) (← links)