BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@article{TUW-212901,
    author = {Bartocci, Ezio and Lio, Pietro and Merelli, Emanuela and Paoletti, Nicola},
    title = {Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study},
    journal = {Transactions on Computational Systems Biology},
    year = {2012},
    volume = {XIV},
    pages = {53--76},
    doi = {10.1007/978-3-642-35524-0{\_}3},
    keywords = {formal analysis,bone remodelling,model checking,sensitivity,piecewise multi-affine abstraction}
}


1 Datensatz ausgegeben