Pages that link to "Item:Q5492991"
From MaRDI portal
The following pages link to Formal Methods in Computer-Aided Design (Q5492991):
Displaying 4 items.
- Structural operational semantics for weak bisimulations (Q673123) (← links)
- On regular temporal logics with past (Q977176) (← links)
- Operational semantics and generalized weakest preconditions (Q1330453) (← links)
- A logical framework for reasoning about local and global properties of collective systems (Q6160774) (← links)