Some rather old papers
Ph.D. dissertation:
  • Games for Verification: Algorithmic Issues
  • [Abstract] [BibTeX entry]
    Ph.D. Dissertation, BRICS, University of Aarhus, Denmark, October 2000

    Other papers: