Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
 
Publisher Herausgeber
ACM
 
Place of publishing Erscheinungsort
Paris
 

Publications Publikationen

Filter:
Author:  Widder, Josef
Date Issued:  [2010 TO 2019]

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

PreviewAuthor(s)TitleTypeIssue Date
1Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithmsKonferenzbeitrag Inproceedings 2017