par Devillers, Raymond
Référence Acta informatica, 32, 4, page (313-345)
Publication Publié, 1995-04
Article révisé par les pairs
Titre:
  • S-invariant analysis of general recursive Petri boxes
Auteur:Devillers, Raymond
Informations sur la publication:Acta informatica, 32, 4, page (313-345)
Statut de publication:Publié, 1995-04
Sujet CREF:Informatique générale
Mots-clés:Petri box, S-invariant
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:0001-5903
info:doi/10.1007/BF01178382
info:scp/21844512754