DMCA

Reasoning about distributed systems: WYSIWYG (2014)

Cached

Download Links

by C. Aiswarya , Paul 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
Citations:2 - 1 self