Static Partial Order Reduction
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün
Static Partial Order Reduction
TACAS, 1998.

TACAS 1998
Full names Links ISxN
	author        = "Robert P. Kurshan and Vladimir Levin and Marius Minea and Doron Peled and Hüsnü Yenigün",
	booktitle     = "{Proceedings of the Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
	doi           = "10.1007/BFb0054182",
	isbn          = "3-540-64356-7",
	pages         = "345--357",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Static Partial Order Reduction}",
	volume        = 1384,
	year          = 1998,


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.