@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}
}

{"_id":"7wNRAFwF3NvMCkJKJ","bibbaseid":"linker-proofsfortrafficsafetycombiningdiagramsandlogic-2015","author_short":["Linker, S."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]}],"title":"Proofs for traffic safety - combining diagrams and logic","school":"Universitä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","bibtex":"@phdthesis{DBLP:books/daglib/0035436,\n author = {Sven Linker},\n title = {Proofs for traffic safety - combining diagrams and logic},\n school = {Universit{\\\"{a}}t Oldenburg},\n year = {2015},\n url = {http://oops.uni-oldenburg.de/2337/},\n urn = {urn:nbn:de:gbv:715-oops-24183},\n timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/books/daglib/0035436.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Linker, S."],"key":"DBLP:books/daglib/0035436","id":"DBLP:books/daglib/0035436","bibbaseid":"linker-proofsfortrafficsafetycombiningdiagramsandlogic-2015","role":"author","urls":{"Paper":"http://oops.uni-oldenburg.de/2337/"},"metadata":{"authorlinks":{}}},"bibtype":"phdthesis","biburl":"https://dblp.org/pid/48/8323.bib","dataSources":["viaGT23rwj7vKvjeq"],"keywords":[],"search_terms":["proofs","traffic","safety","combining","diagrams","logic","linker"],"title":"Proofs for traffic safety - combining diagrams and logic","year":2015}