Vol-3071⫷ Vol-3072 ⫸Vol-3073
urn:nbn:de:0074-3072-0


Vol-3072/paper5⫷Vol-3072/paper6⫸Vol-3072/paper7
Dario Della MonicaAngelo MontanariPietro Sala

Extended ω-Regular Languages and Interval Temporal Logic