par Ganty, Pierre ;Maquet, Nicolas ;Raskin, Jean-François
Référence Theoretical computer science, 411, 38-39, page (3444-3459)
Publication Publié, 2010-08
Article révisé par les pairs
Titre:
  • Fixed point guided abstraction refinement for alternating automata
Auteur:Ganty, Pierre; Maquet, Nicolas; Raskin, Jean-François
Informations sur la publication:Theoretical computer science, 411, 38-39, page (3444-3459)
Statut de publication:Publié, 2010-08
Sujet CREF:Informatique générale
Informatique mathématique
Mots-clés:Abstract interpretation
Alternating automata
Antichains
Note générale:SCOPUS: cp.j
Langue:Anglais
Identificateurs:urn:issn:0304-3975
info:doi/10.1016/j.tcs.2010.05.037
info:pii/S0304397510003294
info:scp/77955852995