Proceedings of the 34th International Conference on Formal Techniques for Distributed Objects, Components, and Systems - Archive ouverte HAL Access content directly
Books Year : 2014

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

Domains

Computer Science [cs] Logic in Computer Science [cs.LO] Computer Science [cs] Cryptography and Security [cs.CR]

Catuscia Palamidessi  : Connect in order to contact the contributor

https://hal.inria.fr/hal-01271977

Submitted on : Tuesday, February 9, 2016-9:42:14 PM

Last modification on : Friday, March 24, 2023-2:53:01 PM

Not file

Dates and versions

hal-01271977 , version 1 (09-02-2016)

Identifiers

  • HAL Id : hal-01271977 , version 1

Cite

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

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2 ANR
145 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More