CuiDDKRRRSW98'

BibTeX

@inproceedings{DBLP:conf/plilp/CuiDDKRRRSW98,
  author    = {Baoqiu Cui and
               Yifei Dong and
               Xiaoqun Du and
               K. Narayan Kumar and
               C. R. Ramakrishnan and
               I. V. Ramakrishnan and
               Abhik Roychoudhury and
               Scott A. Smolka and
               David Scott Warren},
  title     = {Logic Programming and Model Checking},
  booktitle = {PLILP/ALP},
  year      = {1998},
  pages     = {1-20},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1490/14900001.htm},
  crossref  = {DBLP:conf/plilp/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/plilp/1998,
  editor    = {Catuscia Palamidessi and
               Hugh Glaser and
               Karl Meinke},
  title     = {Principles of Declarative Programming, 10th International
               Symposium, PLILP'98 Held Jointly with the 7th International
               Conference, ALP'98, Pisa, Italy, September 16-18, 1998,
               Proceedings},
  booktitle = {PLILP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1490},
  year      = {1998},
  isbn      = {3-540-65012-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}