Publikationen

• [inproceedings] bibtex | Dokument aufrufen
  C. Bischopink und M. Schwammberger, "Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections" in Proc. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, 2019, pp. 249-264.
  @inproceedings{DBLP:conf/fm/BischopinkS19,
  author = {Christopher Bischopink and Maike Schwammberger},
  editor = {Emil Sekerinski and Nelma Moreira and Jos{\'{e}} N. Oliveira and Daniel Ratiu and Riccardo Guidotti and Marie Farrell and Matt Luckcuck and Diego Marmsoler and Jos{\'{e}} Campos and Troy Astarte and Laure Gonnord and Antonio Cerone and Luis Couto and Brijesh Dongol and Martin Kutrib and Pedro Monteiro and David Delmas},
  title = {Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections},
  booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part {I}},
  series = {Lecture Notes in Computer Science},
  volume = {12232},
  pages = {249--264},
  publisher = {Springer},
  year = {2019},
  url = {https://doi.org/10.1007/978-3-030-54994-7\_18},
  doi = {10.1007/978-3-030-54994-7\_18},
  timestamp = {Mon, 17 Aug 2020 17:09:20 +0200},
  biburl = {https://dblp.org/rec/conf/fm/BischopinkS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org} }

Abschlussarbeiten

Bibtex file does not exist.