CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Model Checking, Hybrid Automata, and Systems Biology
Carla Piazza
2008-01-01
PDF
Cite
Publication
SAMSI Workshop on Discrete Models in Systems Biology
Related
Towards a Computational Approach to Quantification of Allele Specific Expression at Population Level
Towards a Computational Approach to Quantification of Allele Specific Expression at Population Level
AI-enhanced blockchain technology: A review of advancements and opportunities
Quantum encoding of dynamic directed graphs
Efficient Algorithm for Proportional Lumpability and Its Application to Selfish Mining in Public Blockchains
Cite
×