Model checking for fragments of the interval temporal logic...

Information and Computation 2018 / 10 Vol. 262

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy

Bozzelli, Laura, Molinari, Alberto, Montanari, Angelo, Peron, Adriano, Sala, Pietro
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
262
Language:
english
Journal:
Information and Computation
DOI:
10.1016/j.ic.2018.09.006
Date:
October, 2018
File:
PDF, 1.02 MB
english, 2018
Conversion to is in progress
Conversion to is failed