@proceedings {BBGS11,
	title = {Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction {ICE}},
	volume = {38},
	year = {2011},
	address = {Amsterdam, The Netherlands},
	abstract = {<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>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/xana/files/xxi1_6.pdf},
	author = {Sonia Ben Mokhtar and Simon Bliudze and Roberto Bruni and Alexandra Silva and Angelo Troina}
}