Conference
On Synthesising Step Alphabets for Acyclic Invariant Structures.
Authors
Janicki R; Kleijn J; Koutny M; Mikulski L
Editors
Aalst WMPVD; Bergenthum R; Carmona J
Series
CEUR Workshop Proceedings
Volume
1847
Pagination
pp. 76-88
Publisher
CEUR-WS.org
Publication Date
January 1, 2017
Conference proceedings
ATAED@Petri Nets/ACSD