• Source: Scopus

Content available in repository

If you made any changes in Pure these will be visible here soon.
Conference contribution

Search results

  • 2019

    Formal modelling and verification of an interlocking using mCRL2

    Bouwman, M., Janssen, B. & Luttik, B., 1 Jan 2019, Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Proceedings. Larsen, K. G. & Willemse, T. (eds.). Cham: Springer, p. 22-39 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11687 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)