Studies of biological networks with statistical model checking: application to immune system cells

Natasa Miskov-Zivanov, Paolo Zuliani, Edmund M. Clarke, James R. Faeder. Studies of biological networks with statistical model checking: application to immune system cells. In Jing Gao, editor, ACM Conference on Bioinformatics, Computational Biology and Biomedical Informatics. ACM-BCB 2013, Washington, DC, USA, September 22-25, 2013. pages 728, ACM, 2013. [doi]

Authors

Natasa Miskov-Zivanov

This author has not been identified. Look up 'Natasa Miskov-Zivanov' in Google

Paolo Zuliani

This author has not been identified. Look up 'Paolo Zuliani' in Google

Edmund M. Clarke

This author has not been identified. Look up 'Edmund M. Clarke' in Google

James R. Faeder

This author has not been identified. Look up 'James R. Faeder' in Google