@inproceedings{mci/Gerlich2008,
author = {Gerlich, Ralf},
title = {Path constraint construction with lookahead},
booktitle = {Software Engineering 2008},
year = {2008},
editor = {Maalej, Walid AND Brügge, Bernd} ,
pages = { 431-434 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}