BibTeX record conf/issta/AudritoDGMPSTTT21

• > Home > conf/issta/AudritoDGMPSTTT21

@inproceedings{DBLP:conf/issta/AudritoDGMPSTTT21,
  author       = {Giorgio Audrito and
                  Ferruccio Damiani and
                  Giuseppe Martino Di Giuda and
                  Silvia Meschini and
                  Laura Pellegrini and
                  Elena Seghezzi and
                  Lavinia Chiara Tagliabue and
                  Lorenzo Testa and
                  Gianluca Torta},
  editor       = {Wolfgang Ahrendt and
                  Davide Ancona and
                  Adrian Francalanza},
  title        = {{RM} for users' safety and security in the built environment},
  booktitle    = {{VORTEX} 2021: Proceedings of the 5th {ACM} International Workshop
                  on Verification and mOnitoring at Runtime EXecution, Virtual Event,
                  Denmark, 12 July 2021},
  pages        = {13--16},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3464974.3468445},
  doi          = {10.1145/3464974.3468445},
  timestamp    = {Sun, 02 Oct 2022 16:10:12 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/AudritoDGMPSTTT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}