par Devillers, Raymond Cliquez pour télécharger la liste de publications de l'auteur; Best, Eike Liste de publications
Référence Acta informatica, 52, 2-3, (page 133--152)
Publication Publié, 2015
Article révisé par les pairs
Titre :
  • State space axioms for T-systems
Auteur : Devillers, Raymond ; Best, Eike
Informations sur la publication : Acta informatica, 52, 2-3, (page 133--152)
Statut de publication : Publié, 2015
Sujet CREF : Informatique mathématique
Mots-clés : Labelled Transition Systems, Petri Nets, Marked Graphs, T- Systems, System Synthesis.
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:0001-5903 
info:doi/10.1007/s00236-015-0219-0