Found: 4
Select item for more details and to access through your institution.
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
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
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
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