Formal Techniques for Distributed Systems
Abstract
Book Front Matter of LNCS 7892
Domains
Computer Science [cs]Origin | Files produced by the author(s) |
---|
Origin | Files produced by the author(s) |
---|
Hal Ifip : Connect in order to contact the contributor
https://inria.hal.science/hal-01515249
Submitted on : Thursday, April 27, 2017-10:46:52 AM
Last modification on : Monday, April 15, 2024-11:02:04 AM