Skip to Main content Skip to Navigation
Directions of work or proceedings

Proceedings of the 34th International Conference on Formal Techniques for Distributed Objects, Components, and Systems: IFIP WG 6.1

Complete list of metadata

https://hal.inria.fr/hal-01271977
Contributor : Catuscia Palamidessi Connect in order to contact the contributor
Submitted on : Tuesday, February 9, 2016 - 9:42:14 PM
Last modification on : Saturday, May 1, 2021 - 3:41:36 AM

Identifiers

  • HAL Id : hal-01271977, version 1

Collections

Citation

Erika Ábrahám, Catuscia Palamidessi. Proceedings of the 34th International Conference on Formal Techniques for Distributed Objects, Components, and Systems: IFIP WG 6.1. Erika Abraham; Catuscia Palamidessi. 2014, France. 8461, Springer, 2014, Lecture Notes in Computer Science. ⟨hal-01271977⟩

Share

Metrics

Record views

299