Verification via Structure Simulation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh
Verification via Structure Simulation
CAV, 2004.

CAV 2004
Full names Links ISxN
	author        = "Neil Immerman and Alexander Moshe Rabinovich and Thomas W. Reps and Shmuel Sagiv and Greta Yorsh",
	booktitle     = "{Proceedings of the 16th International Conference on Computer Aided Verification}",
	doi           = "10.1007/978-3-540-27813-9_22",
	isbn          = "3-540-22342-8",
	pages         = "281--294",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Verification via Structure Simulation}",
	volume        = 3114,
	year          = 2004,


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.