Formal Techniques for Distributed Systems - Formal Techniques for Distributed Systems
Books Year : 2012

Formal Techniques for Distributed Systems

Holger Giese
  • Function : Author
  • PersonId : 966483
Hasso Plattner Institute [Potsdam, Germany]
Grigore Rosu
  • Function : Author
  • PersonId : 1009008
University of Illinois at Urbana-Champaign [Urbana]

Abstract

Book Front Matter of LNCS 7273

Domains

Computer Science [cs]
BookFrontmatter.pdf (114.17 Ko) Télécharger le fichier

Hal Ifip  : Connect in order to contact the contributor

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

Submitted on : Monday, May 29, 2017-3:54:01 PM

Last modification on : Friday, January 12, 2024-1:50:04 PM

Consult the full text

Dates and versions

hal-01528737 , version 1 (29-05-2017)

Licence

Attribution

Identifiers

Cite

Holger Giese, Grigore Rosu. Formal Techniques for Distributed Systems. Springer, LNCS-7273, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30793-5⟩. ⟨hal-01528737⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-WG IFIP-TC6 IFIP-WG6-1 IFIP-FORTE IFIP-FMOODS IFIP-LNCS-7273
98 View
143 Download

Altmetric

Share

More