Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Books

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

John Hatcliff 1 Elena Zucca 2 
1 CIS@K-STATE - Department of Computing and Information Sciences [Kansas]
2 Universita degli studi di Genova
Abstract : Book Front Matter of LNCS 6117
Document type :
Books
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download
https://hal.inria.fr/hal-01555338
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, July 4, 2017 - 9:21:56 AM
Last modification on : Wednesday, January 24, 2018 - 11:37:29 AM

Annex

Licence

Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Collections

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

Citation

John Hatcliff, Elena Zucca. Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings. Springer, LNCS-6117, 2010, Lecture Notes in Computer Science, 978-3-642-13463-0. ⟨10.1007/978-3-642-13464-7⟩. ⟨hal-01555338⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

29

Files downloads

96

 

Contact                    Legal Notice                    Personal Data