×

Found 4 Documents (Results 1–4)

Model checking of biological systems. (English) Zbl 1380.92024

Bernardo, Marco (ed.) et al., Formal methods for dynamical systems. 13th international school on formal methods for the design of computer, communication, and software systems, SFM 2013, Bertinoro, Italy, June 17–22, 2013. Advanced lectures. Berlin: Springer (ISBN 978-3-642-38873-6/pbk). Lecture Notes in Computer Science 7938, 63-112 (2013).
MSC:  92C42 68Q60 92-08
PDFBibTeX XMLCite
Full Text: DOI

Parallel model checking large-scale genetic regulatory networks with DiVinE. (English) Zbl 1279.68194

Cannata, Nicola (ed.) et al., Proceedings of the first workshop “From biology to concurrency and back (FBTC 2007)”, Lisbon, Portugal, September 8, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 3, 35-50 (2008).
MSC:  68Q60 68Q85 92C42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software