MJ Muck van Weerdenburg
Eindhoven University of Technology(NL)
Research Areas
Formal Methods in Verification, Business Process Modeling and Analysis, Petri Nets in System Modeling
Formal Methods in Verification, Business Process Modeling and Analysis, Petri Nets in System Modeling