Formal Verification of OIL Component Specifications using mCRL2

von Bunte, Olav
Veröffentlicht in FMICS (25. : 2020 : Online) Formal methods for industrial critical systems (2020)