%0 Conference Proceedings
%D 2011
%T Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction {ICE}
%A Sonia Ben Mokhtar
%A Simon Bliudze
%A Roberto Bruni
%A Alexandra Silva
%A Angelo Troina
%C Amsterdam, The Netherlands
%S Scientific Annals of Computer Science
%V 38
%X <p>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.</p>
%> https://haslab.uminho.pt/sites/default/files/xana/files/xxi1_6.pdf