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

Complete list of metadatas

https://hal.inria.fr/hal-01271977
Contributor : Catuscia Palamidessi <>
Submitted on : Tuesday, February 9, 2016 - 9:42:14 PM
Last modification on : Wednesday, March 27, 2019 - 4:41:28 PM

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

255