Maurice H. ter Beek, Erik P. de Vink. Software product line analysis with mCRL2. In Stefania Gnesi, Alessandro Fantechi, editors, 18th International Software Product Lines Conference - Companion Volume for Workshop, Tools and Demo papers, SPLC '14, Florence, Italy, September 15-19, 2014. pages 78-85, ACM, 2014. [doi]
@inproceedings{BeekV14-0, title = {Software product line analysis with mCRL2}, author = {Maurice H. ter Beek and Erik P. de Vink}, year = {2014}, doi = {10.1145/2647908.2655970}, url = {http://doi.acm.org/10.1145/2647908.2655970}, researchr = {https://researchr.org/publication/BeekV14-0}, cites = {0}, citedby = {0}, pages = {78-85}, booktitle = {18th International Software Product Lines Conference - Companion Volume for Workshop, Tools and Demo papers, SPLC '14, Florence, Italy, September 15-19, 2014}, editor = {Stefania Gnesi and Alessandro Fantechi}, publisher = {ACM}, isbn = {978-1-4503-2739-8}, }