Pages that link to "Item:Q2115900"
From MaRDI portal
The following pages link to Moded and continuous abstract state machines (Q2115900):
Displaying 5 items.
- Concurrent abstract state machines (Q303691) (← links)
- Modal functions for concise definition of state machines and products (Q1183435) (← links)
- Normalization of Some Extended Abstract State Machines (Q3586002) (← links)
- (Q5015367) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479171) (← links)