%0 Journal Article %1 journals/rts/LampkaGPWS14 %A Lampka, Kai %A Giannopoulou, Georgia %A Pellizzoni, Rodolfo %A Wu, Zheng %A Stoimenov, Nikolay %D 2014 %J Real-Time Systems %K dblp %N 5-6 %P 736-773 %T A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets. %U http://dblp.uni-trier.de/db/journals/rts/rts50.html#LampkaGPWS14 %V 50

@article{journals/rts/LampkaGPWS14, added-at = {2014-10-22T00:00:00.000+0200}, author = {Lampka, Kai and Giannopoulou, Georgia and Pellizzoni, Rodolfo and Wu, Zheng and Stoimenov, Nikolay}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2259bb73f607af357e8097c1fff0d30cc/dblp}, ee = {http://dx.doi.org/10.1007/s11241-014-9211-y}, interhash = {08b4d9e3af9f546d264f19fd12a8ceeb}, intrahash = {259bb73f607af357e8097c1fff0d30cc}, journal = {Real-Time Systems}, keywords = {dblp}, number = {5-6}, pages = {736-773}, timestamp = {2016-02-02T09:01:10.000+0100}, title = {A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets.}, url = {http://dblp.uni-trier.de/db/journals/rts/rts50.html#LampkaGPWS14}, volume = 50, year = 2014 }