New developments around the µCRL tool set

S.C.C. Blom, J.F. Groote, I. Langevelde, van, B. Lisser, J.C. Pol, van de

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

7 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings Eighth International Workshop on Formal Methods for Industrial Systems (FMICS'03, Trondheim, Norway, June 5-7, 2003)
Number of pages5
Publication statusPublished - 2003

Publication series

NameElectronic Notes in Theoretical Computer Science
ISSN (Print)1571-0061

Cite this