BibTeX record conf/sac/BalsaraR05

download as .bib file

@inproceedings{DBLP:conf/sac/BalsaraR05,
  author    = {Zubin Balsara and
               Steve Roach},
  editor    = {Hisham Haddad and
               Lorie M. Liebrock and
               Andrea Omicini and
               Roger L. Wainwright},
  title     = {Prediction of inherited and genetic mutations using the software model
               checker {SPIN}},
  booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
               Santa Fe, New Mexico, USA, March 13-17, 2005},
  pages     = {208--209},
  publisher = {{ACM}},
  year      = {2005},
  url       = {https://doi.org/10.1145/1066677.1066727},
  doi       = {10.1145/1066677.1066727},
  timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
  biburl    = {https://dblp.org/rec/conf/sac/BalsaraR05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics