Vol-2213⫷ Vol-2214 ⫸Vol-2215
urn:nbn:de:0074-2214-0


Vol-2214/paper10⫷Vol-2214/paper11⫸Vol-2214/paper12

Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking