Vol-3309⫷ Vol-3310 ⫸Vol-3311
urn:nbn:de:0074-3310-0


Vol-3310/paper13⫷Vol-3310/paper16⫸Vol-3310/paper15
Diego CalvaneseGiuseppe De GiacomoMarco MontaliFabio Patrizi

Verification of Generic, Relational Transition Systems