Usage statistics

Totals for datasets (co-)authored by W.H.M. (Wytse) Oortwijn

Datasets

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

Co-authors

Co-authors of W.H.M. (Wytse) Oortwijn's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• J.C. (Jaco) van de Pol
• Marieke Huisman