Vortrag

Formal methods for modelling signal transduction and gene regulation

Time
Thursday, 9. November 2017
12:15 - 13:15

Location
M 629

Organizer
Prof. Karl-Otto Rothhaupt, Limnology, University of Konstanz

Speaker:
Prof. Dr. Tatjana Petrov Department of Computer and Information Science, University of Konstanz

This event is part of an event series „Departmental Seminar“.