@techreport{Seidl97Model, author = {Helmut Seidl}, title = {Model-{C}hecking for {L}_2}, year = 1997, series = {Forschungsbericht}, volume = {97-18}, publisher = {Universit\"at Trier, Mathematik/Informatik}, }