par Devillers, Raymond
Référence Lecture notes in computer science, 12734 LNCS, page (274-291)
Publication Publié, 2021-02-01
Article révisé par les pairs
Titre:
  • Synthesis of (Choice-Free) Reset Nets
Auteur:Devillers, Raymond
Informations sur la publication:Lecture notes in computer science, 12734 LNCS, page (274-291)
Statut de publication:Publié, 2021-02-01
Sujet CREF:Informatique mathématique
Informatique générale
Mots-clés:Choice-freeness
Labelled transition systems
Reset nets
Synthesis
Note générale:SCOPUS: cp.k
Langue:Anglais
Identificateurs:urn:issn:0302-9743
info:doi/10.1007/978-3-030-76983-3_14
info:scp/85111368202