BibTeX record conf/dagstuhl/EhrichCSD98

download as .bib file

@inproceedings{DBLP:conf/dagstuhl/EhrichCSD98,
  author    = {Hans{-}Dieter Ehrich and
               Carlos Caleiro and
               Am{\'{\i}}lcar Sernadas and
               Grit Denker},
  title     = {Logics for Specifying Concurrent Information Systems},
  booktitle = {Logics for Databases and Information Systems (the book grow out of
               the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
               1995)},
  pages     = {167--198},
  year      = {1998},
  crossref  = {DBLP:books/kl/ChomickiS98},
  timestamp = {Mon, 17 Sep 2012 15:19:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/EhrichCSD98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:books/kl/ChomickiS98,
  editor    = {Jan Chomicki and
               Gunter Saake},
  title     = {Logics for Databases and Information Systems (the book grow out of
               the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
               1995)},
  publisher = {Kluwer},
  year      = {1998},
  timestamp = {Thu, 03 Jan 2002 11:51:22 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/kl/ChomickiS98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}