BEGIN:VCARD VERSION:3.0 N;CHARSET=ISO-8859-1:Indermark;Klaus;;Dr. rer. nat., Universitätsprofessor em.; FN;CHARSET=ISO-8859-1:Klaus Indermark ORG;CHARSET=ISO-8859-1:RWTH - Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) TITLE;CHARSET=ISO-8859-1: ADR;CHARSET=ISO-8859-1;TYPE=work:;;Ahornstraße 55;Aachen;52074;Germany URL;TYPE=work:http://moves.rwth-aachen.de/ EMAIL;TYPE=INTERNET:indermark@cs.rwth-aachen.de TEL;TYPE=voice,work:+49 241 80 21250 TEL;TYPE=fax,work:+49 241 80 22217 END:VCARD