MJ Muck van Weerdenburg

Research Areas

Formal Methods in Verification, Business Process Modeling and Analysis, Petri Nets in System Modeling

Most-Cited Works

• → The Formal Specification Language mCRL2(2007)128 cited