Formal Techniques for Distributed Systems - Formal Techniques for Distributed Systems Access content directly
Books Year : 2010

Formal Techniques for Distributed Systems

Abstract

Book Front Matter of LNCS 6117

Domains

Computer Science [cs]
LNCS6117DL.pdf (159.92 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Hal Ifip  : Connect in order to contact the contributor

https://inria.hal.science/hal-01555338

Submitted on : Tuesday, July 4, 2017-9:21:56 AM

Last modification on : Monday, October 30, 2023-4:10:05 PM

Consult the full text

Dates and versions

hal-01555338 , version 1 (04-07-2017)

Licence

Attribution

Identifiers

Cite

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-LNCS-6117 IFIP-TC IFIP-WG IFIP-TC6 IFIP-WG6-1 IFIP-FORTE IFIP-FMOODS
54 View
105 Download

Altmetric

Share

Gmail Facebook X LinkedIn More