![](/img/cover-not-exists.png)
[IEEE 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Athens, TBD, Greece (2010.06.13-2010.06.19)] 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Formal Specification of Fault Tolerant Distributed Systems in the Action Systems Formalism
Troubitsyna, ElenaYear:
2010
Language:
english
DOI:
10.1109/CTRQ.2010.31
File:
PDF, 214 KB
english, 2010