Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Anthony Widjaja To, Leonid Libkin
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems
FoSSaCS, 2010.

FoSSaCS 2010
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{FoSSaCS-2010-ToL,
	author        = "Anthony Widjaja To and Leonid Libkin",
	booktitle     = "{Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures}",
	doi           = "10.1007/978-3-642-12032-9_16",
	isbn          = "978-3-642-12031-2",
	pages         = "221--236",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems}",
	volume        = 6014,
	year          = 2010,
}

Tags:



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.