Vol-1644⫷ Vol-1645 ⫸Vol-1646
urn:nbn:de:0074-1645-0


Vol-1645/paper_14⫷Vol-1645/paper28⫸Vol-1645/paper_4
Giorgio Delzanno

A Logic-based Approach to Verify Distributed Protocols