@inproceedingsGezginHenklerRettbergStierand2012, Author = {Gezgin, T. and Henkler, S. and Rettberg, A. and Stierand, I.}, Title = {Abstraction Techniques for Compositional State-based Scheduling Analysis}, Year = {2012}, Month = {10}, type = {inproceedings} @COMMENTBibtex file generated on