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


Vol-3311/paper2⫷Vol-3311/paper3⫸Vol-3311/paper4
Alessandro GianolaNicola Gigante

LTL Modulo Theories over Finite Traces: modeling, verification, open questions