Automated Analysis of Real-Time Scheduling using Graph Games (bibtex)
by Krishnendu Chatterjee, Alexander Köß ler, Ulrich Schmid
Reference:
Automated Analysis of Real-Time Scheduling using Graph GamesKrishnendu Chatterjee, Alexander Köß ler, Ulrich SchmidProceedings of the 16th ACM international conference on Hybrid Systems: Computation and Control, pages 163-172, 2013, ACM.
Bibtex Entry:
@inproceedings{CKS13:HSCC,
publisher = {ACM},
title = {Automated Analysis of Real-Time Scheduling using Graph Games},
series = {HSCC '13},
booktitle = {Proceedings of the 16th ACM international conference on Hybrid Systems:
Computation and Control},
author = {Krishnendu Chatterjee and Alexander {K\"o\ss ler} and Ulrich Schmid},
year = {2013},
pages = {163-172},
address = {New York, NY, USA},
}
Powered by bibtexbrowser