Article thumbnail

Using mCRL2 for the analysis of software product lines

By Maurice H. ter Beek and Erik P. de Vink
Publisher: 'Association for Computing Machinery (ACM)'
Year: 2014
DOI identifier: 10.1145/2593489.2593493
OAI identifier:
Provided by: MUCC (Crossref)

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.