daemontus / bc-thesis

On parameter synthesis of biochemical models using CTL model checking.

Geek Repo

Github PK Tool