BibTeX records: Nir Lavee

download as .bib file

@article{DBLP:journals/isse/KupfermanLS22,
  author    = {Orna Kupferman and
               Nir Lavee and
               Salomon Sickert},
  title     = {Certifying {DFA} Bounds for Recognition and Separation},
  journal   = {Innov. Syst. Softw. Eng.},
  volume    = {18},
  number    = {3},
  pages     = {405--416},
  year      = {2022}
}
@inproceedings{DBLP:conf/atva/KupfermanLS21,
  author    = {Orna Kupferman and
               Nir Lavee and
               Salomon Sickert},
  title     = {Certifying {DFA} Bounds for Recognition and Separation},
  booktitle = {{ATVA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12971},
  pages     = {48--64},
  publisher = {Springer},
  year      = {2021}
}
@article{DBLP:journals/corr/abs-2107-01566,
  author    = {Orna Kupferman and
               Nir Lavee and
               Salomon Sickert},
  title     = {Certifying {DFA} Bounds for Recognition and Separation},
  journal   = {CoRR},
  volume    = {abs/2107.01566},
  year      = {2021}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics