%0 Conference Paper %1 conf/emsoft/GiannopoulouLST12 %A Giannopoulou, Georgia %A Lampka, Kai %A Stoimenov, Nikolay %A Thiele, Lothar %B EMSOFT %D 2012 %E Jerraya, Ahmed %E Carloni, Luca P. %E Maraninchi, Florence %E Regehr, John %I ACM %K dblp %P 63-72 %T Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2012.html#GiannopoulouLST12 %@ 978-1-4503-1425-1

@inproceedings{conf/emsoft/GiannopoulouLST12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Giannopoulou, Georgia and Lampka, Kai and Stoimenov, Nikolay and Thiele, Lothar}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27bc750e505d385bdbcc168ec608a9b2d/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2012}, editor = {Jerraya, Ahmed and Carloni, Luca P. and Maraninchi, Florence and Regehr, John}, ee = {https://doi.org/10.1145/2380356.2380372}, interhash = {0cd0e9295d8d5a8e391eb7b9cc10ee73}, intrahash = {7bc750e505d385bdbcc168ec608a9b2d}, isbn = {978-1-4503-1425-1}, keywords = {dblp}, pages = {63-72}, publisher = {ACM}, timestamp = {2019-09-27T22:01:47.000+0200}, title = {Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2012.html#GiannopoulouLST12}, year = 2012 }