J.C. (Jaco) van de Pol (profile)

usage stats

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

244

downloads

1404

views

2

cites

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.