Deductive local model checking: on the verification of CTL* properties of infinite-state reactive systems
2000
Fichiers
Détails
Titre
Deductive local model checking: on the verification of CTL* properties of infinite-state reactive systems
Auteur(s)
Sprenger, Christoph
Directeur(s)
Pagination
185
Date
2000
Editeur
Lausanne, EPFL
Langue
Anglais
Le document apparaît dans
Production scientifique et compétences > Thèses EPFL
Travail produit à l'EPFL
Publié
Thèses
Travail produit à l'EPFL
Publié
Thèses
Date de création de la notice
2005-03-16