Login / Signup

Goal-Driven Unfolding of Petri Nets.

Thomas ChatainLoïc Paulevé
Published in: CONCUR (2017)
Keyphrases