Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms.

Details

Language :

English

ISBNs :

9780769534480

Database :

Complementary Index

Journal :

2008 14th IEEE Pacific Rim International Symposium on Dependable Computing

Publication Type :

Conference

Accession number :

80955870

Full Text :

https://doi.org/10.1109/PRDC.2008.13