Formal Techniques for Distributed Systems

International audience Book Front Matter of LNCS 6722

Bibliographic Details
Main Authors: Bruni, Roberto, Dingel, Juergen
Other Authors: University of Pisa - Università di Pisa, Queen's University Kingston, Canada, TC 6, WG 6.1
Format: Book
Language:English
Published: HAL CCSD 2011
Subjects:
[INFO]Computer Science [cs]
Iceland
Online Access:https://hal.inria.fr/hal-01583312
https://doi.org/10.1007/978-3-642-21461-5
id ftccsdartic:oai:HAL:hal-01583312v1
record_format openpolar
spelling ftccsdartic:oai:HAL:hal-01583312v1 2023-05-15T16:46:42+02:00 Formal Techniques for Distributed Systems 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 Bruni, Roberto Dingel, Juergen University of Pisa - Università di Pisa Queen's University Kingston, Canada TC 6 WG 6.1 2011 https://hal.inria.fr/hal-01583312 https://doi.org/10.1007/978-3-642-21461-5 en eng HAL CCSD Springer info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21461-5 ISBN: 978-3-642-21460-8 hal-01583312 https://hal.inria.fr/hal-01583312 doi:10.1007/978-3-642-21461-5 http://creativecommons.org/licenses/by/ https://hal.inria.fr/hal-01583312 Springer, LNCS-6722, 2011, Lecture Notes in Computer Science, 978-3-642-21460-8. ⟨10.1007/978-3-642-21461-5⟩ [INFO]Computer Science [cs] info:eu-repo/semantics/book Books 2011 ftccsdartic https://doi.org/10.1007/978-3-642-21461-5 2023-01-08T00:54:22Z International audience Book Front Matter of LNCS 6722 Book Iceland Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
institution Open Polar
collection Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
op_collection_id ftccsdartic
language English
topic [INFO]Computer Science [cs]
spellingShingle [INFO]Computer Science [cs]
Bruni, Roberto
Dingel, Juergen
Formal Techniques for Distributed Systems
topic_facet [INFO]Computer Science [cs]
description International audience Book Front Matter of LNCS 6722
author2 University of Pisa - Università di Pisa
Queen's University Kingston, Canada
TC 6
WG 6.1
format Book
author Bruni, Roberto
Dingel, Juergen
author_facet Bruni, Roberto
Dingel, Juergen
author_sort Bruni, Roberto
title Formal Techniques for Distributed Systems
title_short Formal Techniques for Distributed Systems
title_full Formal Techniques for Distributed Systems
title_fullStr Formal Techniques for Distributed Systems
title_full_unstemmed Formal Techniques for Distributed Systems
title_sort formal techniques for distributed systems
publisher HAL CCSD
publishDate 2011
url https://hal.inria.fr/hal-01583312
https://doi.org/10.1007/978-3-642-21461-5
genre Iceland
genre_facet Iceland
op_source https://hal.inria.fr/hal-01583312
Springer, LNCS-6722, 2011, Lecture Notes in Computer Science, 978-3-642-21460-8. ⟨10.1007/978-3-642-21461-5⟩
op_relation info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21461-5
ISBN: 978-3-642-21460-8
hal-01583312
https://hal.inria.fr/hal-01583312
doi:10.1007/978-3-642-21461-5
op_rights http://creativecommons.org/licenses/by/
op_doi https://doi.org/10.1007/978-3-642-21461-5
_version_ 1766036800605782016

Similar Items