Zubin Balsara

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Zubin Balsara, Steve Roach
Prediction of inherited and genetic mutations using the software model checker SPIN. SAC (2005)