@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 }