@techreport{NollRiegerKatoen07,
 author = {Joost--Pieter Katoen and Thomas Noll and Stefan Rieger},
 title = {Verifying Concurrent List-Manipulating Programs by LTL Model Checking},
 institution = {RWTH Aachen University, Dept.\ of Computer Science},
 address = {Germany},
 series = {Aachener Informatik Berichte},
 number = {2007--06},
 month = {April},
 year = {2007},
 url = "http://aib.informatik.rwth-aachen.de/2007/2007-06.ps.gz", 
}