W.H.M. (Wytse) Oortwijn (profile)

usage stats

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

244

downloads

1404

views

2

cites

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.