par Geeraerts, Gilles ;Raskin, Jean-François ;Van Begin, Laurent
Référence Journal of computer and system sciences, 72, 1, page (180-203)
Publication Publié, 2006-02
Article révisé par les pairs
Titre:
  • Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS
Auteur:Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
Informations sur la publication:Journal of computer and system sciences, 72, 1, page (180-203)
Statut de publication:Publié, 2006-02
Sujet CREF:Informatique mathématique
Mots-clés:Coverability problem
Lossy channel systems
Parameterized systems
Petri nets
Verification
Well-structured transition systems
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:0022-0000
info:doi/10.1016/j.jcss.2005.09.001
info:scp/27844494642