Pages that link to "Item:Q5950716"
From MaRDI portal
The following pages link to Labelled transition logic: An outline (Q5950716):
Displaying 6 items.
- Safe reasoning with logic LTS (Q549200) (← links)
- Graphical versus logical specifications (Q685358) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Formalism and method (Q1978639) (← links)
- A formally grounded software specification method (Q2369031) (← links)