Title
Automated Verification of Parallel Nested DFS.
Year
Venue
DocType
2020
European Joint Conferences on Theory And Practice of Software
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Wytse Oortwijn101.35
Marieke Huisman266475.75
Sebastiaan J. C. Joosten301.69
Jaco van de Pol4135.00