The following pages link to (Q2753698):
Displaying 10 items.
- Concurrent abstract state machines (Q303691) (← links)
- The computable kernel of abstract state machines (Q959826) (← links)
- Abstract state machines 2003. Advances in theory and practice. 10th international workshop, ASM 2003, Taormina, Italy, March 3--7, 2003. Proceedings (Q1396941) (← links)
- Moded and continuous abstract state machines (Q2115900) (← links)
- Abstract State Machines (Q4429922) (← links)
- (Q4680195) (← links)
- Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems (Q5045457) (← links)
- (Q5294162) (← links)
- Abstract State Machines with Exact Real Arithmetic (Q5881448) (← links)
- Foundations of Information and Knowledge Systems (Q5901857) (← links)