EPR-Based Bounded Model Checking at Word Level
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Christoph Sticksel, Andrei Voronkov
EPR-Based Bounded Model Checking at Word Level
IJCAR, 2012.

IJCAR 2012
Full names Links ISxN
	author        = "Moshe Emmer and Zurab Khasidashvili and Konstantin Korovin and Christoph Sticksel and Andrei Voronkov",
	booktitle     = "{Proceedings of the Sixth International Joint Conference on Automated Reasoning}",
	doi           = "10.1007/978-3-642-31365-3_18",
	isbn          = "978-3-642-31364-6",
	pages         = "210--224",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{EPR-Based Bounded Model Checking at Word Level}",
	volume        = 7364,
	year          = 2012,


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.