Number of items: 4.
Dovier, A. and Piazza, C. and Policriti, A.
An efficient algorithm for computing bisimulation equivalence.
Theoretical Computer Science, 311 (1-3).
Antoniotti, M. and Mishra, B. and Park, F. and Policriti, A. and Ugel, N.
Foundations of a query and simulation system for the modeling of biochemical and biological processes.
The Pacific Symposium on Biocomputing (PSB 2003).
World Scientific, .
Antoniotti, M. and Policriti, A. and Ugel, N. and Mishra, B.
Model Building and Model Checking for Biochemical Processes.
Cell Biochemistry and Biophysics.
Antoniotti, M. and Piazza, C. and Policriti, A. and Simeoni, M. and Mishra, B.
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing.
Int. Workshop on Computational Methods in Systems Biology (CMSB03).
This list was generated on Mon Sep 10 16:54:16 BST 2007.