uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Reasoning about distributed systems: WYSIWYG
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
LSV, ENS Cachan.
2014 (English)Conference paper (Refereed)
Place, publisher, year, edition, pages
, Leibniz International Proceedings in Informatics
National Category
Computer Systems
URN: urn:nbn:se:uu:diva-237859OAI: oai:DiVA.org:uu-237859DiVA: diva2:769212
Available from: 2014-12-05 Created: 2014-12-05 Last updated: 2014-12-17

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Cyriac, Aiswarya
By organisation
Computer Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Total: 171 hits
ReferencesLink to record
Permanent link

Direct link