BibTeX record conf/seke/KuhnYKLH18

• > Home > conf/seke/KuhnYKLH18

@inproceedings{DBLP:conf/seke/KuhnYKLH18,
  author       = {Rick Kuhn and
                  Dylan Yaga and
                  Raghu Kacker and
                  Jeff Yu Lei and
                  Vincent C. Hu},
  editor       = {{\'{O}}scar Mort{\'{a}}gua Pereira},
  title        = {Pseudo-Exhaustive Verification of Rule Based Systems},
  booktitle    = {The 30th International Conference on Software Engineering and Knowledge
                  Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3,
                  2018},
  pages        = {586--585},
  publisher    = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
  year         = {2018},
  url          = {https://doi.org/10.18293/SEKE2018-072},
  doi          = {10.18293/SEKE2018-072},
  timestamp    = {Sun, 26 Mar 2023 18:37:28 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/KuhnYKLH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}