par Devillers, Raymond ;Best, Eike
Référence Acta informatica, 52, 2-3, page (133--152)
Publication Publié, 2015
Référence Acta informatica, 52, 2-3, page (133--152)
Publication Publié, 2015
Article révisé par les pairs
Titre: |
|
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 générale: | SCOPUS: ar.j |
Langue: | Anglais |
Identificateurs: | urn:issn:0001-5903 |
info:doi/10.1007/s00236-015-0219-0 | |
info:scp/84925543280 |