Usman Rauf, Umair Siddique, Jamil Ahmad, Umar Khan Niazi. Formal Modeling and Analysis of Biological Regulatory Networks Using SPIN. In Fang-Xiang Wu, Mohammed Javeed Zaki, Shinichi Morishita, Yi Pan, Stephen Wong, Anastasia Christianson, Xiaohua Hu, editors, IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2011, Atlanta, GA, USA, 12-15 November, 2011. pages 304-308, IEEE, 2011. [doi]
Abstract is missing.