Last update: Mon Mar 13 02:22:45 MDT 2017
@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, }