Using mCRL2 for the analysis of software product lines

M.H. Beek, ter, E.P. Vink, de

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

26 Citations (Scopus)
1 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Using mCRL2 for the analysis of software product lines'. Together they form a unique fingerprint.

Engineering & Materials Science