Usman Rauf

Latest

• Formal modeling and analysis of biological regulatory networks using spin