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

Book title Buchtitel
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
 
Publisher Verlag
Springer
 
Place of publishing Erscheinungsort
Cham
 
Volume Band
9609
 

Publications Publikationen



Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Konnov Igor V - 2016 - What You Always Wanted to Know About Model Checking of...pdf.jpgKonnov, Igor ; Veith, Helmut ; Widder, Josef What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed AlgorithmsInproceedings Konferenzbeitrag 2016