Model checking interval temporal logics with regular...

  • Main
  • 2019 / 12
  • Model checking interval temporal logics with regular...
Information and Computation 2019 / 12

Model checking interval temporal logics with regular expressions

Bozzelli, Laura, Molinari, Alberto, Montanari, Angelo, Peron, Adriano
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?
Journal:
Information and Computation
DOI:
10.1016/j.ic.2019.104498
Date:
December, 2019
File:
PDF, 1.82 MB
2019
Conversion to is in progress
Conversion to is failed