@InProceedings{OortwijnHuismanJoostenPol20,
  Author = {Oortwijn, W. and Huisman, M. and Joosten, S. and Pol, J. van de},
  Title = {Automated Verification of Parallel Nested DFS},
  BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  Year = {2020},
  Publisher = {Springer},
  Note = {To appear}
}