Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics

Paolo Ballarini, Jarno Petteri Mäkelä, Andre Sanches Ribeiro

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    4 Citations (Scopus)
    Translated title of the contributionExpressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics
    Original languageEnglish
    Title of host publicationComputational Methods in Systems Biology. Proceedings of 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Lecture Notes in Computer Science
    Place of PublicationHeidelberg
    PublisherSpringer
    Pages29-48
    ISBN (Electronic)978-3-642-33636-2
    ISBN (Print)978-3-642-33635-5
    DOIs
    Publication statusPublished - 2012
    Publication typeA4 Article in a conference publication

    Publication series

    NameInternational Conference on Computational Methods in Systems Biology
    Volume7605
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Publication forum classification

    • Publication forum level 1

    Cite this