Proofs for traffic safety - combining diagrams and logic. Linker, S. Ph.D. Thesis, Universität Oldenburg, 2015.
Proofs for traffic safety - combining diagrams and logic [link]Paper  bibtex   
@phdthesis{DBLP:books/daglib/0035436,
  author       = {Sven Linker},
  title        = {Proofs for traffic safety - combining diagrams and logic},
  school       = {Universit{\"{a}}t Oldenburg},
  year         = {2015},
  url          = {http://oops.uni-oldenburg.de/2337/},
  urn          = {urn:nbn:de:gbv:715-oops-24183},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0035436.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0