Weighted Pushdown Systems and Trust-Management Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps
Weighted Pushdown Systems and Trust-Management Systems
TACAS, 2006.

TACAS 2006
Full names Links ISxN
	author        = "Somesh Jha and Stefan Schwoon and Hao Wang and Thomas W. Reps",
	booktitle     = "{Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
	doi           = "10.1007/11691372_1",
	isbn          = "3-540-33056-9",
	pages         = "1--26",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Weighted Pushdown Systems and Trust-Management Systems}",
	volume        = 3920,
	year          = 2006,


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.