Formal Techniques for Distributed Objects, Components, and Systems - Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2018)
Books Year : 2018

Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier
  • Function : Author
  • PersonId : 880342
Technische Universität Dresden = Dresden University of Technology
Luís Caires
  • Function : Author
  • PersonId : 1033830
Centro de Informática e Tecnologia Informação

Abstract

Book Front Matter of LNCS 10854

Domains

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

Hal Ifip  : Connect in order to contact the contributor

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

Submitted on : Wednesday, June 27, 2018-3:55:35 PM

Last modification on : Tuesday, October 31, 2023-10:22:07 AM

Consult the full text

Dates and versions

hal-01824818 , version 1 (27-06-2018)

Licence

Attribution

Identifiers

Cite

Christel Baier, Luís Caires. Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing, LNCS-10854, 2018, Lecture Notes in Computer Science, 978-3-319-92611-7. ⟨10.1007/978-3-319-92612-4⟩. ⟨hal-01824818⟩

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-DISCOTEC IFIP-LNCS-10854
212 View
97 Download

Altmetric

Share

More