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 ftifiphal:oai:HAL:hal-01583312v1
record_format openpolar
spelling ftifiphal:oai:HAL:hal-01583312v1 2023-05-15T16:46:43+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 ftifiphal https://doi.org/10.1007/978-3-642-21461-5 2023-03-21T20:40:06Z International audience Book Front Matter of LNCS 6722 Book Iceland IFIP Open Digital Library (International Federation for Information Processing)
institution Open Polar
collection IFIP Open Digital Library (International Federation for Information Processing)
op_collection_id ftifiphal
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_ 1766036815808036864

Similar Items