Roberto Bruni
2 published titles
Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, Forte 2011, Reykjavik, Iceland, June 6-9, 2011
(Contributor)
1 edition
- ISBN: 9783642214608
- Springer
- 2011
- Details
Trustworthy global computing : 6th international symposium, TGC 2011, Aachen, Germany, June 9-10 2011 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642300646
- Springer
- 2012
- Details
