par Van Begin, Laurent ;Delzanno, Giorgio
Référence Natural computing, 9, 4, page (795-818)
Publication Publié, 2010-12
Référence Natural computing, 9, 4, page (795-818)
Publication Publié, 2010-12
Article révisé par les pairs
Titre: |
|
Auteur: | Van Begin, Laurent; Delzanno, Giorgio |
Informations sur la publication: | Natural computing, 9, 4, page (795-818) |
Statut de publication: | Publié, 2010-12 |
Sujet CREF: | Informatique appliquée logiciel |
Mots-clés: | Decidability results |
P-systems | |
Verification | |
Note générale: | SCOPUS: cp.j |
Langue: | Anglais |
Identificateurs: | urn:issn:1567-7818 |
info:doi/10.1007/s11047-010-9214-0 | |
info:scp/78649961724 |