Export
APA
D.Lee, Antónia Lopes, A.Poetzsch-Heffter, (2009). FMOODS/FORTE 2009: Formal Techniques for Distributed Systems 11th IFIP WG 6.1 International Conference, FMOODS 2009 and 29th IFIP WG 6.1 International Conference, FORTE 2009,
IEEE
D.Lee, Antónia Lopes, A.Poetzsch-Heffter, "FMOODS/FORTE 2009: Formal Techniques for Distributed Systems 11th IFIP WG 6.1 International Conference, FMOODS 2009 and 29th IFIP WG 6.1 International Conference, FORTE 2009,", 2009
BIBTEX
@book{32537,
author = {D.Lee, Antónia Lopes, A.Poetzsch-Heffter},
title = {FMOODS/FORTE 2009: Formal Techniques for Distributed Systems 11th IFIP WG 6.1 International Conference, FMOODS 2009 and 29th IFIP WG 6.1 International Conference, FORTE 2009,},
year = 2009,
publisher = {SPRINGER}
}