@inproceedings{DBLP:conf/ifm/Linker17,
  author    = {Sven Linker},
  title     = {Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL},
  booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
               Turin, Italy, September 20-22, 2017, Proceedings},
  pages     = {34--49},
  year      = {2017},
  crossref  = {DBLP:conf/ifm/2017},
  url       = {https://doi.org/10.1007/978-3-319-66845-1\_3},
  doi       = {10.1007/978-3-319-66845-1\_3},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/Linker17},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  note = {[<span class="va">Verifiable Autonomy</span>, <span class="s4">S4</span>]}
}

{"_id":"PzBxu6sHpfS3xiNHX","bibbaseid":"linker-spatialreasoningaboutmotorwaytrafficsafetywithisabellehol-2017","downloads":1,"creationDate":"2018-11-28T15:39:44.317Z","title":"Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL","author_short":["Linker, S."],"year":2017,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]}],"title":"Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL","booktitle":"Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings","pages":"34–49","year":"2017","crossref":"DBLP:conf/ifm/2017","url":"https://doi.org/10.1007/978-3-319-66845-1\\_3","doi":"10.1007/978-3-319-66845-1_3","timestamp":"Fri, 02 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/conf/ifm/Linker17","bibsource":"dblp computer science bibliography, https://dblp.org","note":"[<span class=\"va\">Verifiable Autonomy</span>, <span class=\"s4\">S4</span>]","bibtex":"@inproceedings{DBLP:conf/ifm/Linker17,\n author = {Sven Linker},\n title = {Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL},\n booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,\n Turin, Italy, September 20-22, 2017, Proceedings},\n pages = {34--49},\n year = {2017},\n crossref = {DBLP:conf/ifm/2017},\n url = {https://doi.org/10.1007/978-3-319-66845-1\\_3},\n doi = {10.1007/978-3-319-66845-1\\_3},\n timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/conf/ifm/Linker17},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n note = {[<span class=\"va\">Verifiable Autonomy</span>, <span class=\"s4\">S4</span>]}\n}\n\n","author_short":["Linker, S."],"key":"DBLP:conf/ifm/Linker17","id":"DBLP:conf/ifm/Linker17","bibbaseid":"linker-spatialreasoningaboutmotorwaytrafficsafetywithisabellehol-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-66845-1\\_3"},"metadata":{"authorlinks":{"linker, s":"https://intranet.csc.liv.ac.uk/~slk/"}},"downloads":1},"search_terms":["spatial","reasoning","motorway","traffic","safety","isabelle","hol","linker"],"keywords":[],"authorIDs":["DJofX33ALvdrbndrr"],"dataSources":["viaGT23rwj7vKvjeq","sf65xF3tXwz6TBuoQ","77JvGFZQteoFsRiyX","iqRbmbCgpDeaBjend"]}