BibTeX record conf/prozess/Lunze91

download as .bib file

@inproceedings{DBLP:conf/prozess/Lunze91,
  author    = {Jan Lunze},
  title     = {Prozessdiagnose auf der Grundlage eine pr{\"{a}}dikatenlogischen
               Prozessbeschreibung},
  booktitle = {Proze{\ss}rechnersysteme '91, Automatisierungs- und Leitsysteme in
               den neunziger Jahren, Berlin, 25.-27. Februar 1991, Proceedings},
  pages     = {150--159},
  year      = {1991},
  crossref  = {DBLP:conf/prozess/1991},
  url       = {https://doi.org/10.1007/978-3-642-76501-8\_14},
  doi       = {10.1007/978-3-642-76501-8\_14},
  timestamp = {Sun, 21 May 2017 00:21:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/prozess/Lunze91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prozess/1991,
  editor    = {G{\"{u}}nter Hommel},
  title     = {Proze{\ss}rechnersysteme '91, Automatisierungs- und Leitsysteme in
               den neunziger Jahren, Berlin, 25.-27. Februar 1991, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {269},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-76501-8},
  doi       = {10.1007/978-3-642-76501-8},
  isbn      = {3-540-53808-9},
  timestamp = {Sun, 21 May 2017 00:21:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/prozess/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics