BibTeX record conf/dagstuhl/ChomickiT98

download as .bib file

@inproceedings{DBLP:conf/dagstuhl/ChomickiT98,
  author    = {Jan Chomicki and
               David Toman},
  title     = {Temporal Logic in 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     = {31--70},
  year      = {1998},
  crossref  = {DBLP:books/kl/ChomickiS98},
  timestamp = {Mon, 17 Sep 2012 15:19:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/ChomickiT98},
  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}
}