Franck Cassez. Timed Games for Computing WCET for Pipelined Processors with Caches. In Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi, editors, 11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011. pages 195-204, IEEE, 2011. [doi]
@inproceedings{Cassez11,
title = {Timed Games for Computing WCET for Pipelined Processors with Caches},
author = {Franck Cassez},
year = {2011},
doi = {10.1109/ACSD.2011.15},
url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2011.15},
researchr = {https://researchr.org/publication/Cassez11},
cites = {0},
citedby = {0},
pages = {195-204},
booktitle = {11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
editor = {Benoît Caillaud and Josep Carmona and Kunihiko Hiraishi},
publisher = {IEEE},
isbn = {978-0-7695-4387-1},
}