BibTeX record journals/stvr/SobrinhoASSACP23

download as .bib file

@article{DBLP:journals/stvr/SobrinhoASSACP23,
  author       = {Alvaro Sobrinho and
                  Ially Almeida and
                  Leandro Dias da Silva and
                  Lenardo Chaves e Silva and
                  Adriano Ara{\'{u}}jo and
                  T{\'{a}}ssio Fernandes Costa and
                  Angelo Perkusich},
  title        = {Coloured Petri nets for abstract test generation in software engineering},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {2},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1837},
  doi          = {10.1002/STVR.1837},
  timestamp    = {Sat, 11 Mar 2023 00:13:24 +0100},
  biburl       = {https://dblp.org/rec/journals/stvr/SobrinhoASSACP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics