@misc{https://doi.org/10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b,
  doi = {10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b},
  url = {https://data.4tu.nl/articles/dataset/Artifact_for_Automated_Verification_of_Parallel_Nested_DFS_TACAS_20/12727697/1},
  author = {Oortwijn, W.H.M. (Wytse) and Huisman, Marieke and van de Pol, J.C. (Jaco)},
  keywords = {Case study, Concurrency verification, Deductive verification, Model checking, Parallel graph searching, Separation logic},
  title = {Artifact for Automated Verification of Parallel Nested DFS, TACAS’20},
  publisher = {4TU.Centre for Research Data},
  year = {2020},
  copyright = {Apache-2.0},
}