Distributed analysis with μCRL: a compendium of case studies

Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Mohammad Torab Dashti, Anton J. Wijs

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

    15 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Distributed analysis with μCRL: a compendium of case studies'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science