par Van Begin, Laurent ;Delzanno, Giorgio
Référence Natural computing, 9, 4, page (795-818)
Publication Publié, 2010-12
Article révisé par les pairs
Titre:
  • On the verification of membrane systems with dynamic structure
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