@inproceedings{janssen:hal-00712557, TITLE = {{Can Probabilistic Model Checking Explore Ribo-Nucleic Acid Folding Space?}}, AUTHOR = {Janssen, Stefan and Paulev{\'e}, Lo{\"i}c and Ponty, Yann and Raman, Balaji and Zytnicki, Matthias}, URL = {https://inria.hal.science/hal-00712557}, BOOKTITLE = {{IWBDA - 4th International Workshop on Bio-Design Automation - 2012}}, ADDRESS = {San Francisco, United States}, SERIES = {IWBDA - 4th International Workshop on Bio-Design Automation - 2012}, YEAR = {2012}, MONTH = Jun, HAL_ID = {hal-00712557}, HAL_VERSION = {v1}, }