Approximating checkers for simulation acceleration
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Biruk Mammo, Debapriya Chatterjee, Dmitry Pidan, Amir Nahir, Avi Ziv, Ronny Morad, Valeria Bertacco
Approximating checkers for simulation acceleration
DATE, 2012.

DATE 2012
Full names Links ISxN
	acmid         = "2492745",
	author        = "Biruk Mammo and Debapriya Chatterjee and Dmitry Pidan and Amir Nahir and Avi Ziv and Ronny Morad and Valeria Bertacco",
	booktitle     = "{Proceedings of the 16th Conference and Exhibition on Design, Automation and Test in Europe}",
	isbn          = "978-1-4577-2145-8",
	pages         = "153--158",
	publisher     = "{IEEE}",
	title         = "{Approximating checkers for simulation acceleration}",
	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.