BibTeX record journals/scp/Hierons19

download as .bib file

@article{DBLP:journals/scp/Hierons19,
  author       = {Robert M. Hierons},
  title        = {{FSM} quasi-equivalence testing via reduction and observing absences},
  journal      = {Sci. Comput. Program.},
  volume       = {177},
  pages        = {1--18},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.scico.2019.03.004},
  doi          = {10.1016/J.SCICO.2019.03.004},
  timestamp    = {Sat, 05 Sep 2020 17:45:11 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Hierons19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}