Detecting Unrealizability of Distributed Fault-tolerant Systems

Finkbeiner, Bernd and Tentrup, Leander
(2015) Detecting Unrealizability of Distributed Fault-tolerant Systems.
Logical Methods in Computer Science, 11 (3).

Full text not available from this repository.
Official URL: https://doi.org/10.2168/LMCS-11(3:12)2015

Actions

Actions (login required)

View Item View Item