Proving Stabilization of Biological Systems.

Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman

Browse the full VMCAI paper archive.