What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Igor V. Konnov, Helmut Veith, Josef Widder. What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms. In Manuel Mazzara, Andrei Voronkov, editors, Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers. Volume 9609 of Lecture Notes in Computer Science, pages 6-21, Springer, 2015. [doi]

This author has not been identified. Look up 'Igor V. Konnov' in GoogleThis author has not been identified. Look up 'Helmut Veith' in GoogleThis author has not been identified. Look up 'Josef Widder' in Google

runs on WebDSL