@inproceedings{GezginHenklerRettbergStierand2012,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}}@COMMENT{Bibtex file generated on }