@doctoralThesis{Stein_2010, title={ILP-based path analysis on abstract pipeline state graphs}, author={Stein, Ingmar Jendrik}, isbn={978-3-86931-538-6}, doi={http://dx.doi.org/10.22028/D291-25979}, year={2010} }