swMATH18654MaRDI QIDQ30486FDOQ30486
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S1751570X16300061
Cited In (4)
- Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability
- cftool
- Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
This page was built for software: BFComp
