An in-depth investigation of interval temporal logic model checking with regular expressions

Bozzelli, Laura

Peron, Adriano

MOLINARI, ALBERTO

MONTANARI, Angelo