Pages that link to "Item:Q5311289"
From MaRDI portal
The following pages link to Formal Methods for Components and Objects (Q5311289):
Displaying 5 items.
- AsmL (Q23309) (← links)
- Formal specification of a web services protocol (Q861299) (← links)
- Semantic essence of AsmL (Q2571205) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901598) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901599) (← links)