Vol-2370⫷ Vol-2371 ⫸Vol-2372
urn:nbn:de:0074-2371-0


Vol-2371/frontmatter⫷Vol-2371/paper01⫸Vol-2371/paper02

Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems