BEGIN:VCARD VERSION:3.0 N;CHARSET=ISO-8859-1:Katoen;Joost-Pieter;;Dr. ir. Dr. h. c. (AAU), Universitätsprofessor; FN;CHARSET=ISO-8859-1:Joost-Pieter Katoen ORG;CHARSET=ISO-8859-1:RWTH - Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) TITLE;CHARSET=ISO-8859-1:Lehrstuhlinhaber ADR;CHARSET=ISO-8859-1;TYPE=work:;;Ahornstraße 55;Aachen;52074;Germany URL;TYPE=work:http://moves.rwth-aachen.de/people/katoen/ EMAIL;TYPE=INTERNET:katoen@cs.rwth-aachen.de TEL;TYPE=voice,work:+49 241 80 21200 TEL;TYPE=fax,work:+49 241 80 22217 END:VCARD