Herr Philip Tasche, Institut für Informatik

Current Publications• Tasche, Philipp; Monti, Raúl E.; Drerup, Stefanie Eva; Blohm, Pauline; Herber, Paula; Huisman, Marieke Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024Lecture Notes in Computer Science Vol. 14500, 2024, pp 187-209 online
E-Mailphilip dot tasche at uni-muenster dot de
Phone+49 251 83-33807
FAX+49 251 83-32742
Room218
Secretary   Sekretariat Kaiser-Mariani
Frau Julia Kaiser-Mariani
Telefon +49 251 83-32740
Fax +49 251 83-32742
Zimmer 704
AddressHerr Philip Tasche
Institut für Informatik
Fachbereich Mathematik und Informatik der Universität Münster
Einsteinstrasse 62
48149 Münster
Deutschland
Diese Seite editieren