Formal modeling and analysis of biological regulatory networks using spin

Usman Rauf, Umair Siddique, Jamil Ahmad, Umar Niazi
January 2011
PDF
Type
Conference paper
Publication
2011 IEEE International Conference on Bioinformatics and Biomedicine