par Doyen, Laurent ;Raskin, Jean-François
Référence Logical methods in computer science, 5, 1, page (1-20)
Publication Publié, 2009-01
Article révisé par les pairs
Titre:
  • Antichains for the automata-based approach to model-checking
Auteur:Doyen, Laurent; Raskin, Jean-François
Informations sur la publication:Logical methods in computer science, 5, 1, page (1-20)
Statut de publication:Publié, 2009-01
Sujet CREF:Généralités
Mots-clés:Alternating b̈uchi automata
Antichains
Emptiness
Language inclusion
Nondeterministic b̈uchi automata
Universality
Note générale:SCOPUS: ar.j
SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:1860-5974
info:doi/10.2168/LMCS-5 (1:5) 2009
info:scp/77951573543