@misc{DR17b,
  author = {Dureja, Rohit and Rozier, Kristin Y.},
  title = {From One to Many: Checking A Set of Models},
  booktitle = {Formal Methods in Computer-Aided Design (FMCAD) Student Forum},
  publisher = {{IEEE/ACM}},
  address = {Vienna, Austria},
  month = oct,
  year = {2017},
  pdf = {../papers/DR17b.pdf},
  poster = {../papers/DR17b-poster.pdf},
  slides = {../papers/DR17b-slides.pdf}
}