ODE analysis of biological systems

: Gratie Diana-Elena, Iancu Bogdan, Petre Ion

: Bernardo Marco, de VinkErik, Di PierroAlessandra , Wiklicky Herbert

: 2013

: Formal Methods for Dynamical Systems

: Lecture Notes in Computer Science

: 7938

: 29

: 62