BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Books


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,

Participants in the publication
D.Lee, Antónia Lopes, A.Poetzsch-Heffter (Author)
Dep. Informática
LASIGE

Date of Publication
2009

Publication Identifiers
ISBN - 9783642021379

Publisher
SPRINGER

Edition
SPRINGER


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} }