Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand. Abstraction Techniques for Compositional State-Based Scheduling Analysis. In 2012 Brazilian Symposium on Computing System Engineering, Natal, Brazil, November 5-7, 2012. pages 166-171, IEEE, 2012. [doi]
@inproceedings{GezginHRS12,
title = {Abstraction Techniques for Compositional State-Based Scheduling Analysis},
author = {Tayfun Gezgin and Stefan Henkler and Achim Rettberg and Ingo Stierand},
year = {2012},
doi = {10.1109/SBESC.2012.40},
url = {http://dx.doi.org/10.1109/SBESC.2012.40},
researchr = {https://researchr.org/publication/GezginHRS12},
cites = {0},
citedby = {0},
pages = {166-171},
booktitle = {2012 Brazilian Symposium on Computing System Engineering, Natal, Brazil, November 5-7, 2012},
publisher = {IEEE},
isbn = {978-1-4673-5747-0},
}