Inproceedings,

On Synthesising Step Alphabets for Acyclic Invariant Structures.

, , , and .
ATAED@Petri Nets/ACSD, volume 1847 of CEUR Workshop Proceedings, page 76-88. CEUR-WS.org, (2017)

Meta data

Tags

Users

  • @dblp

Comments and Reviews