Concepedia

Publication | Closed Access

Proving stabilization of biological systems

DOI

34

Citations

20

References

2011

Year

Byron Cook, Jasmin Fisher, Elżbieta Krępska, Nir Piterman
Verification, Model Checking and Abstract Interpretation

References

YearCitations

Page 1