Partial Order Reduction for State/Event LTL
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova
Partial Order Reduction for State/Event LTL
IFM, 2009.

IFM 2009
Full names Links ISxN
	author        = "Nikola Benes and Lubos Brim and Ivana Cerná and Jiri Sochor and Pavlína Vareková and Barbora Zimmerova",
	booktitle     = "{Proceedings of the Seventh International Conference on Integrated Formal Methods}",
	doi           = "10.1007/978-3-642-00255-7_21",
	isbn          = "978-3-642-00254-0",
	pages         = "307--321",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Partial Order Reduction for State/Event LTL}",
	volume        = 5423,
	year          = 2009,


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.