par Best, Eike
;Devillers, Raymond
;Schlachter, Uli;Wimmel, Harro
Référence Scientific Annals of Computer Science, 28, 2, page (199-236)
Publication Publié, 2018


Référence Scientific Annals of Computer Science, 28, 2, page (199-236)
Publication Publié, 2018
Article révisé par les pairs
Titre: |
|
Auteur: | Best, Eike; Devillers, Raymond; Schlachter, Uli; Wimmel, Harro |
Informations sur la publication: | Scientific Annals of Computer Science, 28, 2, page (199-236) |
Statut de publication: | Publié, 2018 |
Sujet CREF: | Informatique générale |
Mathématiques | |
Mots-clés: | Choice-freeness |
Labelled transition systems | |
Petri nets | |
Synthesis | |
Note générale: | SCOPUS: ar.j |
Langue: | Anglais |
Identificateurs: | urn:issn:2248-2695 |
info:doi/10.7561/SACS.2018.2.199 | |
info:scp/85065233803 |