Vol-2784⫷ Vol-2785 ⫸Vol-2786
urn:nbn:de:0074-2785-0


Vol-2785/paper1⫷Vol-2785/paper2⫸Vol-2785/paper3
Dario Della MonicaAngelo MontanariGuido SciaviccoIonel Eduard Stan

A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking