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]
Abstract is missing.