Homepage zum Software-Praktikum "Model Checking for Regulatory Networks"

FU Berlin, SS 2011.

Info-Material zum Praktikum

Hannes Klarner, Research Associate
FU Berlin, FB Mathematik und Informatik
Arnimallee 6 - Room 033 (ground floor)
Phone: +49 30 838 75864
E-Mail: Hannes.Klarner[at]fu-berlin.de
Homepage: http://page.mi.fu-berlin.de/klarner/index