Formal modeling and analysis of biological regulatory networks using spin

Publication
2011 IEEE International Conference on Bioinformatics and Biomedicine