2013): An overview of the mCRL2 toolset and its recent advances (0)

by S Cranen, J F Groote, J J A Keiren, F P M
Venue:In N. Piterman & S.A. Smolka, editors: TACAS’13, LNCS 7795