Paper Info
Title
From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI.
Year
Venue
DocType
2015
Software, Services, and Systems
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Maurice H. ter Beek171862.08
Stefania Gnesi21475120.93
Franco Mazzanti327221.69