Finding Instability in Biological Models

Cook B, Fisher J, Hall B, Ishtiaq S, Juniwal G, and Piterman N

Details

Publication typeProceedings
Published inComputer Aided Verification (CAV)
> Publications > Finding Instability in Biological Models