Pages that link to "Item:Q1346610"
From MaRDI portal
The following pages link to Automatizing parametric reasoning on distributed concurrent systems (Q1346610):
Displayed 4 items.
- Automatic verification of distributed systems: the process algebra approach. (Q960505) (← links)
- Assisting requirement formalization by means of natural language translation (Q1329090) (← links)
- A static view of localities (Q1329199) (← links)
- Automatizing parametric reasoning on distributed concurrent systems (Q1346610) (← links)