Usage statistics

Totals for datasets (co-)authored by J.C. (Jaco) van de Pol

Datasets

• Artifact for Automated Verification of Parallel Nested DFS, TACAS’20

Co-authors

Co-authors of J.C. (Jaco) van de Pol's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Marieke Huisman
• W.H.M. (Wytse) Oortwijn