- Citation:
- Mokhtar SB, Bliudze S, Bruni R, Silva A, Troina A.
2011. Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction {ICE}. 38
Web Site Title:
Scientific Annals of Computer Science
Abstract:
The authors emphasize the actual relevance and need of formal methods for the advancements of complex systems, and brie y present the other papers contained in this issue.
Citation Key:
BBGS11