34th Logic Seminar
A Formal Genetic SwitchA Formal Genetic Switch
A Formal Genetic Switch
Rene Vestergaard

JAIST, RCIS

2012-04-12, 15:00-17:00

Seminar room of the RCIS, 3. floor

I will discuss highlights of a formalization of A Genetic Switch, with particular emphasis on what `formalization' means.