Logical Reliability of Interacting Real-Time Tasks
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
Logical Reliability of Interacting Real-Time Tasks
DATE, 2008.

DATE 2008
Full names Links ISxN
	author        = "Krishnendu Chatterjee and Arkadeb Ghosal and Thomas A. Henzinger and Daniel T. Iercan and Christoph M. Kirsch and Claudio Pinello and Alberto L. Sangiovanni-Vincentelli",
	booktitle     = "{Proceedings of the 12th Conference on Design, Automation and Test in Europe}",
	doi           = "10.1109/DATE.2008.4484790",
	isbn          = "978-3-9810801-3-1",
	pages         = "909--914",
	publisher     = "{IEEE}",
	title         = "{Logical Reliability of Interacting Real-Time Tasks}",
	year          = 2008,


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.