BibTeX record journals/mam/LaiBLJGRA19

download as .bib file

@article{DBLP:journals/mam/LaiBLJGRA19,
  author       = {Xinhui Lai and
                  Aneesh Balakrishnan and
                  Thomas Lange and
                  Maksim Jenihhin and
                  Tara Ghasempouri and
                  Jaan Raik and
                  Dan Alexandrescu},
  title        = {Understanding multidimensional verification: Where functional meets
                  non-functional},
  journal      = {Microprocess. Microsystems},
  volume       = {71},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.micpro.2019.102867},
  doi          = {10.1016/J.MICPRO.2019.102867},
  timestamp    = {Sun, 02 Oct 2022 15:43:18 +0200},
  biburl       = {https://dblp.org/rec/journals/mam/LaiBLJGRA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics