Skip to content

Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets.

Uli Schlachter

VenueCLATA
Year2018
ProceedingsLATA

Browse the full LATA paper archive.