Bokor, P., Serafini, M. &
Suri, N.,
2010,
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Springer,
Vol. 6117 LNCS.
p. 216-223 8 p.Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter