Model Building and Model Checking for Biochemical Processes

 
EPrints.org
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.
Type: Article
Member Organisation: 109 University of Udine, DIMI

Antoniotti, M. and Policriti, A. and Ugel, N. and Mishra, B. (2003) Model Building and Model Checking for Biochemical Processes. Cell Biochemistry and Biophysics.

Full text not available from this archive.

Deposited by Mr Sebastian Stein on 28 February 2005

Archive Staff Only: edit this record

   

AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact web@agentlink.org.