Formal Techniques for Distributed Objects, Components, and Systems - Formal Techniques for Distributed Objects, Components, and Systems
Books Year : 2021

Formal Techniques for Distributed Objects, Components, and Systems

Kirstin Peters
  • Function : Author
  • PersonId : 1152675
Technische Universität Darmstadt - Technical University of Darmstadt
Tim A.C. Willemse
  • Function : Author
  • PersonId : 998087
Eindhoven University of Technology [Eindhoven]

Abstract

Book Front Matter of LNCS 12719

Domains

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

Hal Ifip  : Connect in order to contact the contributor

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

Submitted on : Friday, July 29, 2022-10:55:45 AM

Last modification on : Wednesday, September 7, 2022-3:36:04 PM

Consult the full text

Dates and versions

hal-03740268 , version 1 (29-07-2022)

Licence

Attribution

Identifiers

Cite

Kirstin Peters, Tim A.C. Willemse. Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing, LNCS-12719, 2021, Lecture Notes in Computer Science, 978-3-030-78088-3. ⟨10.1007/978-3-030-78089-0⟩. ⟨hal-03740268⟩

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-LNCS-12719
24 View
26 Download

Altmetric

Share

More