par Heussner, Alexander Elmar ;Le Gall, Tristan ;Sutre, Grégoire
Référence Leibniz international proceedings in informatics, 18, page (224-235)
Publication Publié, 2012
Article révisé par les pairs
Titre:
  • Safety verification of communicating one-counter machines
Auteur:Heussner, Alexander Elmar; Le Gall, Tristan; Sutre, Grégoire
Informations sur la publication:Leibniz international proceedings in informatics, 18, page (224-235)
Statut de publication:Publié, 2012
Sujet CREF:Généralités
Mots-clés:Counter machines
Data words
FIFO channels
Reachability problem
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1868-8969
info:doi/10.4230/LIPIcs.FSTTCS.2012.224
info:scp/84880233813