The following pages link to Vincenzo Gervasi (Q439956):
Displaying 4 items.
- Ambient abstract state machines with applications (Q439957) (← links)
- A high-level modular definition of the semantics of C\(_{\sharp}\) (Q555781) (← links)
- Coordination without communication: the case of the flocking problem (Q1765241) (← links)
- Lightweight validation of natural language requirements (Q2783314) (← links)
