Efficient Model Checking Using Tabled Resolution
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren
Efficient Model Checking Using Tabled Resolution
CAV, 1997.

CAV 1997
Full names Links ISxN
	author        = "Y. S. Ramakrishna and C. R. Ramakrishnan and I. V. Ramakrishnan and Scott A. Smolka and Terrance Swift and David Scott Warren",
	booktitle     = "{Proceedings of the Ninth International Conference on Computer Aided Verification}",
	doi           = "10.1007/3-540-63166-6_16",
	isbn          = "3-540-63166-6",
	pages         = "143--154",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Efficient Model Checking Using Tabled Resolution}",
	volume        = 1254,
	year          = 1997,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.