Sample Image

Sapo

Nov 30, 2017
Go to Project Site WEB-APP REF

Sapo is a C++ tool for the formal analysis of discrete-time polynomial dynamical systems.

academic bioinformatics Dynamical systems