@misc{DR19,
  author = {Dureja, Rohit and Rozier, Kristin Y.},
  title = {{Scalable Verification of Designs with Multiple Properties}},
  booktitle = {Formal Methods in Computer-Aided Design (FMCAD) Student Forum},
  publisher = {{IEEE/ACM}},
  address = {San Jose, California, USA},
  month = oct,
  year = {2019},
  pdf = {../papers/DR19.pdf},
  poster = {../papers/DR19-poster.pdf},
  slides = {../papers/DR19-slides.pdf}
}