An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions.

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron

Browse the full SEFM paper archive.