Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction {ICE}

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

DOI:

10.4204/EPTCS.38

PreviewAttachmentSize
xxi1_6.pdf136.43 KB