Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates

From MaRDI portal
Revision as of 07:07, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3646252

DOI10.1007/978-3-642-04420-5_8zbMath1260.68226OpenAlexW3030962294MaRDI QIDQ3646252

Roberto Barbuti, Paolo Milazzo, Guido Scatena, Francesca Levi

Publication date: 19 November 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04420-5_8




Related Items (2)


Uses Software


Cites Work


This page was built for publication: Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates