Pages that link to "Item:Q1275455"
From MaRDI portal
Displaying 6 items.
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- Transformations for Compositional Verification of Assumption-Commitment Properties (Q3447708) (← links)
- (Q3999989) (← links)
- A decidable timeout-based extension of linear temporal logic (Q4583356) (← links)
- Graph Relabelling Systems (Q4923532) (← links)