--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Matthias foaf_name: Gehrke, Matthias foaf_surname: Gehrke - foaf_Person: foaf_givenName: Baris foaf_name: Güldali, Baris foaf_surname: Güldali - foaf_Person: foaf_givenName: Ekkart foaf_name: Kindler, Ekkart foaf_surname: Kindler dct_date: 2007^xs_gYear dct_language: eng dct_publisher: University of Paderborn, s-lab@ dct_title: '"Modelchecking" - Eine Methode zur Verbesserung der Softwarequalität@' ...