@inproceedings{HeinerBreitlingGilbertetal., author = {Heiner, Monika and Breitling, Rainer and Gilbert, David and Priami, C.}, title = {Formal Methods in Molecular Biology}, language = {en} }