Cover von Reasoning About Distributed Systems: WYSIWYG (Invited Talk) opens in new tab

Reasoning About Distributed Systems: WYSIWYG (Invited Talk)

Year: 2014
Media group: LIPIcs

Details

Search for this author
Year: 2014
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 11-30
Participating parties: Search for this character Cyriac, Aiswarya; Gastin, Paul
Media group: LIPIcs