PAT: Towards Flexible Verification under Fairness
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Jun Sun, Yang Liu, Jin Song Dong, Jun Pang
PAT: Towards Flexible Verification under Fairness
CAV, 2009.

CAV 2009
Full names Links ISxN
	author        = "Jun Sun and Yang Liu and Jin Song Dong and Jun Pang",
	booktitle     = "{Proceedings of the 21st International Conference on Computer Aided Verification}",
	doi           = "10.1007/978-3-642-02658-4_59",
	isbn          = "978-3-642-02657-7",
	pages         = "709--714",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{PAT: Towards Flexible Verification under Fairness}",
	volume        = 5643,
	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.