Catalog

Record Details

Catalog Search


Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings Cover Image E-book E-book

Formal Techniques for Distributed Systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings / edited by David Lee, Antónia Lopes, Arnd Poetzsch-Heffter.

Lee, David. (editor.). Lopes, Antónia. (editor.). Poetzsch-Heffter, Arnd. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo


Additional Resources