Title
Static analysis and family-based model checking with VMC.
Year
DOI
Venue
2021
10.1145/3461001.3472732
SPLC
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
6
Name
Order
Citations
PageRank
Maurice H. ter Beek171862.08
Franco Mazzanti227221.69
Ferruccio Damiani398971.30
Luca Paolini47516.69
Giordano Scarso500.34
Michael Lienhardt662.50