Entry Cui:1998:LPM from lncs1998b.bib

Last update: Mon Mar 13 02:22:45 MDT 2017                Valid HTML 3.2!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Cui:1998:LPM,
  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 S. Warren",
  title =        "Logic Programming and Model Checking",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "1490",
  pages =        "1--??",
  year =         "1998",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Feb 5 11:53:01 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t1490.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs1998b.bib",
  URL =          "http://link.springer-ny.com/link/service/series/0558/bibs/1490/14900001.htm;
                 http://link.springer-ny.com/link/service/series/0558/papers/1490/14900001.pdf",
  acknowledgement = ack-nhfb,
}

Related entries