Login / Signup

Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk).

Javier Esparza
Published in: TIME (2017)
Keyphrases