Title
Family-Based Model Checking with mCRL2.
Year
Venue
DocType
2017
European Joint Conferences on Theory And Practice of Software
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Maurice H. ter Beek102.37
Erik P. de Vink201.69
Tim A. C. Willemse312.76