CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tolque: A Tool for Algorithmic Algebraic Model Checking
A Casagrande
,
V Mysore
,
Carla Piazza
,
B. Mishra
2006-01-01
Cite
Publication
Int. Conference on Hybrid Systems: Computation and Control (HSCC'06)
Related
Independent Dynamics Hybrid Automata in System Biology
Synchronized Product of Semi-Algebraic O-Minimal Hybrid Automata
Algebraic Model Checking II: Decidability of Semi-Algebraic Model Checking and its Applications to Systems Biology
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe
High-throughput trascriptome profiling of two peach chimeric genotypes
Cite
×