|
[CGGH08]
F. Ciocchetta, S. Gilmore, M. L. Guerriero and J. Hillston.
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems.
In Proc. 3rd International Workshop on Practical Applications of Stochastic Modelling (PASM'08), volume 232 of ENTCS, pages 17-38.
2008.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
ENTCS is available at www.sciencedirect.com/science/journal/15710661.
|
|
Links:
[Google]
[Google Scholar]
|