BibTeX record conf/quatic/BenerecettiMPS21

• > Home > conf/quatic/BenerecettiMPS21

@inproceedings{DBLP:conf/quatic/BenerecettiMPS21,
  author       = {Massimo Benerecetti and
                  Fabio Mogavero and
                  Adriano Peron and
                  Luigi Libero Lucio Starace},
  editor       = {Ana C. R. Paiva and
                  Ana Rosa Cavalli and
                  Paula Ventura Martins and
                  Ricardo P{\'{e}}rez{-}Castillo},
  title        = {Expressing Structural Temporal Properties of Safety Critical Hierarchical
                  Systems},
  booktitle    = {Quality of Information and Communications Technology - 14th International
                  Conference, {QUATIC} 2021, Algarve, Portugal, September 8-11, 2021,
                  Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {1439},
  pages        = {356--369},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85347-1\_26},
  doi          = {10.1007/978-3-030-85347-1\_26},
  timestamp    = {Thu, 16 Sep 2021 18:08:13 +0200},
  biburl       = {https://dblp.org/rec/conf/quatic/BenerecettiMPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}