Back to Search
Start Over
A compositional proof theory for fault tolerant real-time distributed systems.
- Source :
- Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems; 1993, p34-43, 10p
- Publication Year :
- 1993
Details
- Language :
- English
- ISBNs :
- 9780818643101
- Database :
- Complementary Index
- Journal :
- Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems
- Publication Type :
- Conference
- Accession number :
- 92260272
- Full Text :
- https://doi.org/10.1109/RELDIS.1993.393475