by Unknown
Reference:
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings, (Holger Giese, Grigore Rosu, eds.), Springer, volume 7273, 2012.
Bibtex Entry:
@Proceedings{FMOODSFORTE2012,
TITLE = {{Formal Techniques for Distributed Systems: Joint 14th IFIP
WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1
International Conference, FORTE 2012, Stockholm, Sweden, June 13-16,
2012, Proceedings}},
YEAR = {2012},
VOLUME = {7273},
EDITOR = {Giese, Holger and Rosu, Grigore},
SERIES = {Lecture Notes in Computer Science (LNCS)},
PUBLISHER = {Springer}
}