BibTeX record conf/fmcad/GajavellyBIKG19

download as .bib file

@inproceedings{DBLP:conf/fmcad/GajavellyBIKG19,
  author       = {Raj Kumar Gajavelly and
                  Jason Baumgartner and
                  Alexander Ivrii and
                  Robert L. Kanzelman and
                  Shiladitya Ghosh},
  editor       = {Clark W. Barrett and
                  Jin Yang},
  title        = {Input Elimination Transformations for Scalable Verification and Trace
                  Reconstruction},
  booktitle    = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
                  CA, USA, October 22-25, 2019},
  pages        = {10--18},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/FMCAD.2019.8894294},
  doi          = {10.23919/FMCAD.2019.8894294},
  timestamp    = {Sat, 30 Sep 2023 09:41:19 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/GajavellyBIKG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.