Hyperproperties of real-valued signals (bibtex)

by LV Nguyen, J Kapinski, X Jin, JV Deshmukh and Taylor T. Johnson

Reference:

LV Nguyen, J Kapinski, X Jin, JV Deshmukh and Taylor T. Johnson, "Hyperproperties of real-valued signals", In 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'17), ACM, pp. 104–113, 2017.

Bibtex Entry:

@inproceedings{nguyen2017memocode,
  title = {Hyperproperties of real-valued signals},
  author = {LV Nguyen and J Kapinski and X Jin and JV Deshmukh and Taylor T. Johnson},
  year = {2017},
  month = sep,
  booktitle = {15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'17)},
  pages = {104--113},
  publisher = {ACM},
  doi = {10.1145/3127041.3127058},
  publabel = {C20},
  pubtype = {C},
  dblp = {conf/memocode/NguyenKJDJ17},
  s2id = {28305918},
  pdf = "research/nguyen2017memocode.pdf",
}