Model Checking with Fly-Automata - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2015

Model Checking with Fly-Automata

Irène Durand
Fichier non déposé

Dates et versions

hal-01757763 , version 1 (03-04-2018)

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

CNRS
36 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More