@inproceedings{theiling:emsoft2002,
    author=    {Henrik Theiling},
    title=     {{ILP}-based {I}nterprocedural {P}ath {A}nalysis},
    booktitle= {Proceedings of the Workshop on Embedded Software},
    month=     {October},
    year=      {2002},
    address=   {Grenoble, France},
}