Rolf Ernst, Marek Jersak, Hans Sarnowski, Marco Bekooij, Samarjit Chakraborty
Formal Methods in System and MpSoC Performance Analysis and Optimisation
DATE, 2008.
@inproceedings{DATE-2008-ErnstJSBC,
author = "Rolf Ernst and Marek Jersak and Hans Sarnowski and Marco Bekooij and Samarjit Chakraborty",
booktitle = "{Proceedings of the 12th Conference on Design, Automation and Test in Europe}",
doi = "10.1109/DATE.2008.4484645",
isbn = "978-3-9810801-3-1",
publisher = "{IEEE}",
title = "{Formal Methods in System and MpSoC Performance Analysis and Optimisation}",
year = 2008,
}