Reasoning about distributed systems: WYSIWYG (invited talk (2014)

by C Aiswarya, P Gastin
Venue:In Proceedings of the 34th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS’14), Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik