Back to Results
First PageMeta Content
Process calculi / Theoretical computer science / PEPA / Jane Hillston / Process calculus / Mathematics / Semantics / -calculus / Calculus / Stochastic / Model checking / TAPAs model checker


Introduction Bio-PEPA: Syntax and semantics Model Analysis
Add to Reading List

Document Date: 2009-03-02 10:57:34


Open Document

File Size: 904,46 KB

Share Result on Facebook