daemontus / bc-thesis

On parameter synthesis of biochemical models using CTL model checking.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

On parameter synthesis of biochemical models using CTL model checking.

License:GNU General Public License v2.0


Languages

Language:TeX 100.0%