The following pages link to Hélène Collavizza (Q968352):
Displayed 9 items.
- CPBPV: a constraint-programming framework for bounded program verification (Q968353) (← links)
- Comparing partial consistencies (Q1971075) (← links)
- What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer (Q2110690) (← links)
- Greening R. Thomas' framework with environment variables: a divide and conquer approach (Q2142101) (← links)
- Forward with Hoare (Q3163399) (← links)
- (Q4944887) (← links)
- (Q4949361) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899058) (← links)
- Constrained Kripke structure for identifying parameters of biological models (Q6131194) (← links)