Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-4 of 4 (Search time: 0.001 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2008A model checking approach to the parameter estimation of biochemical pathwaysDonaldson, R; Gilbert, D
2009An introduction to Biomodel engineering, illustrated for signal transduction pathwaysGilbert, D; Breitling, R; Heiner, M; Donaldson, R
2008Petri nets for systems and synthetic biologyHeiner, M; Gilbert, D; Donaldson, R
2008A Monte Carlo model checker for probabilistic LTL with numerical constraintsGilbert, D; Donaldson, R

Discover

Date issued