Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models.
- Published in:
- Scientific Annals of Computer Science, 2013, v. 23, n. 1, p. 119, doi. 10.7561/SACS.2013.1.119
- By:
- Publication type:
- Article
Works matching IS 18438121 AND DT 2013 AND VI 23 AND IP 1
Results: 4
1
2
Modular Verification of Qualitative Pathway Models with Fairnes.
- Published in:
- Scientific Annals of Computer Science, 2013, v. 23, n. 1, p. 75, doi. 10.7561/SACS.2013.1.75
- By:
- Publication type:
- Article
3
RNA-Editing with Combined Insertion and Deletion Preserves Regularity.
- Published in:
- Scientific Annals of Computer Science, 2013, v. 23, n. 1, p. 39, doi. 10.7561/SACS.2013.1.39
- By:
- Publication type:
- Article
4
GUBS, a Behaviour-Based Language for Design in Synthetic Biology.
- Published in:
- Scientific Annals of Computer Science, 2013, v. 23, n. 1, p. 1, doi. 10.7561/SACS.2013.1.1
- By:
- Publication type:
- Article