Vol-2114⫷ Vol-2115 ⫸Vol-2116
urn:nbn:de:0074-2115-0


Vol-2115/ATAED2018-56-74⫷Vol-2115/ATAED2018-75-90⫸Vol-2115/ATAED2018-91-111
Evgeny ErofeevThomas HujsaRaymond R. Devillers

Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems