Model Checking Interval Temporal Logics with Regular Expressions
Bozzelli L.
•
Molinari A.
•
Montanari A.
•
Peron A.
2018
Periodico
INFORMATION AND COMPUTATION
Archivio
Diritti
metadata only access