Chapitre D'ouvrage
Année : 2015
Irène Durand : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01757763
Soumis le : mardi 3 avril 2018-22:19:11
Dernière modification le : vendredi 24 mars 2023-14:53:07
Dates et versions
Identifiants
- HAL Id : hal-01757763 , version 1
Citer
Bruno Courcelle, Irène Durand. Model Checking with Fly-Automata. Encyclopedia of Algorithms, 2015. ⟨hal-01757763⟩
Collections
36
Consultations
0
Téléchargements