Vol-1194⫷ Vol-1195 ⫸Vol-1196
urn:nbn:de:0074-1195-0


Vol-1195/long19⫷Vol-1195/short0⫸Vol-1195/short1
Francesco AlbertiNatasha SharyginaSilvio Ghilardi

A Framework for the Verification of Parameterized Infinite-State Systems