%0 Conference Paper %1 conf/sac/BalsaraR05 %A Balsara, Zubin %A Roach, Steve %B SAC %D 2005 %E Haddad, Hisham %E Liebrock, Lorie M. %E Omicini, Andrea %E Wainwright, Roger L. %I ACM %K dblp %P 208-209 %T Prediction of inherited and genetic mutations using the software model checker SPIN. %U http://dblp.uni-trier.de/db/conf/sac/sac2005.html#BalsaraR05 %@ 1-58113-964-0

@inproceedings{conf/sac/BalsaraR05, added-at = {2018-11-06T00:00:00.000+0100}, author = {Balsara, Zubin and Roach, Steve}, biburl = {https://www.bibsonomy.org/bibtex/230f1b31e61181b7399c2e35347202d2c/dblp}, booktitle = {SAC}, crossref = {conf/sac/2005}, editor = {Haddad, Hisham and Liebrock, Lorie M. and Omicini, Andrea and Wainwright, Roger L.}, ee = {https://doi.org/10.1145/1066677.1066727}, interhash = {0bc5104e5dfed3a854c46a5ee600ab35}, intrahash = {30f1b31e61181b7399c2e35347202d2c}, isbn = {1-58113-964-0}, keywords = {dblp}, pages = {208-209}, publisher = {ACM}, timestamp = {2018-11-07T13:13:11.000+0100}, title = {Prediction of inherited and genetic mutations using the software model checker SPIN.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2005.html#BalsaraR05}, year = 2005 }