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
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: |
|
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 |