|
@article{, author = {Kai Lampka and Georgia Giannopoulou and Rodolfo Pellizzoni and Zheng Wu and Nikolay Stoimenov}, title = {A Formal Approach to the WCRT Analysis of Multicore Systems with Memory Contention under Phase-structured Task Sets}, journal = {Real-Time Systems}, number = {5}, pages = {736--773}, volume = {50}, month = {Nov}, year = {2014} }