Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala. Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Inf. Comput., 262(Part):241-264, 2018. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HSAlberto Molinari, Angelo Montanari, Adriano Peron. time 2015: 90-100 [doi]
The following publications are possibly variants of this publication: