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


Vol-1645/paper28⫷Vol-1645/paper_4⫸Vol-1645/paper_6

Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies