LCM and MCM: Specification of a control system using dynamic logic and process algebra

Roelf J. Wieringa

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    105 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'LCM and MCM: Specification of a control system using dynamic logic and process algebra'. Together they form a unique fingerprint.