@inproceedings{DBLP:conf/ictac/LinkerH13,
  author       = {Sven Linker and
                  Martin Hilscher},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Proof Theory of a Multi-Lane Spatial Logic},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {231--248},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_14},
  doi          = {10.1007/978-3-642-39718-9\_14},
  timestamp    = {Fri, 17 Feb 2023 09:02:01 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/LinkerH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"GhomfXG8Mxx8JW8a5","bibbaseid":"linker-hilscher-prooftheoryofamultilanespatiallogic-2013","author_short":["Linker, S.","Hilscher, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Hilscher"],"suffixes":[]}],"editor":[{"firstnames":["Zhiming"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["Jim"],"propositions":[],"lastnames":["Woodcock"],"suffixes":[]},{"firstnames":["Huibiao"],"propositions":[],"lastnames":["Zhu"],"suffixes":[]}],"title":"Proof Theory of a Multi-Lane Spatial Logic","booktitle":"Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings","series":"Lecture Notes in Computer Science","volume":"8049","pages":"231–248","publisher":"Springer","year":"2013","url":"https://doi.org/10.1007/978-3-642-39718-9\\_14","doi":"10.1007/978-3-642-39718-9_14","timestamp":"Fri, 17 Feb 2023 09:02:01 +0100","biburl":"https://dblp.org/rec/conf/ictac/LinkerH13.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ictac/LinkerH13,\n author = {Sven Linker and\n Martin Hilscher},\n editor = {Zhiming Liu and\n Jim Woodcock and\n Huibiao Zhu},\n title = {Proof Theory of a Multi-Lane Spatial Logic},\n booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International\n Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {8049},\n pages = {231--248},\n publisher = {Springer},\n year = {2013},\n url = {https://doi.org/10.1007/978-3-642-39718-9\\_14},\n doi = {10.1007/978-3-642-39718-9\\_14},\n timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},\n biburl = {https://dblp.org/rec/conf/ictac/LinkerH13.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Linker, S.","Hilscher, M."],"editor_short":["Liu, Z.","Woodcock, J.","Zhu, H."],"key":"DBLP:conf/ictac/LinkerH13","id":"DBLP:conf/ictac/LinkerH13","bibbaseid":"linker-hilscher-prooftheoryofamultilanespatiallogic-2013","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-39718-9\\_14"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/48/8323.bib","dataSources":["viaGT23rwj7vKvjeq"],"keywords":[],"search_terms":["proof","theory","multi","lane","spatial","logic","linker","hilscher"],"title":"Proof Theory of a Multi-Lane Spatial Logic","year":2013}