Skip to Main content Skip to Navigation
Books

Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011

Roberto Bruni 1 Juergen Dingel 2
1 University of Pisa - Università di Pisa
2 Queen's University [Kingston, Canada]
Abstract : Book Front Matter of LNCS 6722
Document type :
Books
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
https://hal.inria.fr/hal-01583312
Contributor : Hal Ifip <>
Submitted on : Thursday, September 7, 2017 - 11:10:09 AM
Last modification on : Monday, December 7, 2020 - 9:44:02 AM

Annex

Licence

Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Collections

IFIP-LNCS | IFIP-WG | IFIP | IFIP-WG6-1 | IFIP-TC | IFIP-FMOODS | IFIP-FORTE | IFIP-LNCS-6722 | IFIP-TC6

Citation

Roberto Bruni, Juergen Dingel. Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Springer, LNCS-6722, 2011, Lecture Notes in Computer Science, 978-3-642-21460-8. ⟨10.1007/978-3-642-21461-5⟩. ⟨hal-01583312⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

112

Files downloads

173

 

Contact                    Legal Notice                    Personal Data