The Tractability of Model-checking for LTL: The Good, the...

Electronic Notes in Theoretical Computer Science 2009 Vol. 231; Iss. none

The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments

Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
231
Année:
2009
Langue:
english
DOI:
10.1016/j.entcs.2009.02.041
Fichier:
PDF, 375 KB
english, 2009
La conversion en est effectuée
La conversion en a échoué