BibTeX record conf/memocode/BonnahH23

• > Home > conf/memocode/BonnahH23

@inproceedings{DBLP:conf/memocode/BonnahH23,
  author       = {Ernest Bonnah and
                  Khaza Anuarul Hoque},
  editor       = {Reinhard von Hanxleden and
                  Stephen A. Edwards and
                  Jens Brandt and
                  Qi Zhu},
  title        = {{QTWTL:} Quality Aware Time Window Temporal Logic for Performance
                  Monitoring},
  booktitle    = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
                  for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
                  2023},
  pages        = {90--99},
  publisher    = {{ACM} / {IEEE}},
  year         = {2023},
  url          = {https://ieeexplore.ieee.org/document/10316206},
  timestamp    = {Fri, 15 Dec 2023 12:01:04 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/BonnahH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}