Telecharger Cours

Model Building by Temporal Logic Constraint Solving - Lifeware

In this dissertation, we explore the use of temporal logic and model checking in systems biology. Our thesis is that temporal logic provides a powerful ...



Download