BibTeX record conf/tfais/LipeckEG85

download as .bib file

@inproceedings{DBLP:conf/tfais/LipeckEG85,
  author    = {Udo W. Lipeck and
               Hans{-}Dieter Ehrich and
               Martin Gogolla},
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {Specifying Admissibility of Dynamic Database Behaviour Using Temporal
               Logic},
  booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  pages     = {145--157},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  timestamp = {Mon, 29 Jul 2019 14:27:38 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/LipeckEG85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics