Results (2)

  • Co-Büching them all
    Conference paper
  • Forward analysis of depth-bounded processes
    Conference paper