B Mishra

Composing FOCoRe Hybrid Automata
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆
Foundations of a query and simulation system for the modeling of biochemical and biological processes
Model building and model checking for biochemical processes
Xs-systems: extended s-systems and algebraic differential automata for modeling cellular behavior

Published with Wowchemy — the free, open source website builder that empowers creators.