Author:
Ahmad Sohaib,Hasan Osman,Siddique Umair,Tahar Sofiéne
Publisher
Springer International Publishing
Reference33 articles.
1. Ahmad, S.: Formal Reasoning about Molecular Pathways using HOL4 (2014).
http://save.seecs.nust.edu.pk/projects/holsyntax/holzsyntax.html
2. Ahmad, S., Hasan, O., Siddique, U.: Towards formal reasoning about molecular pathways in HOL. In: International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp. 378–383. IEEE (2014)
3. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press (2008)
4. Boniolo, G., D’Agostino, M., Di Fiore., P.: Zsyntax: a Formal Language for Molecular Biology with Projected Applications in Text Mining and Biological Prediction. PloS ONE 5(3), e9511-1–e9511-12 (2010.)
5. Church, A.: A Formulation of the Simple Theory of Types. Journal of Symbolic Logic 5, 56–68 (1940)