@inproceedings{Nguyen_2017,
    doi = {10.1145/3127041.3127058},
    url = {https://doi.org/10.1145%2F3127041.3127058},
    year = {2017},
    month = {sep},
    publisher = {{ACM}},
    author = {Luan Viet Nguyen and James Kapinski and Xiaoqing Jin and Jyotirmoy V. Deshmukh and Taylor T. Johnson},
    title = {Hyperproperties of real-valued signals},
    booktitle = {Proceedings of the 15th {ACM}-{IEEE} International Conference on Formal Methods and Models for System Design}
}

@inproceedings{Nguyen_2017, doi = {10.1145/3127041.3127058}, url = {https://doi.org/10.1145%2F3127041.3127058}, year = {2017}, month = {sep}, publisher = {{ACM}}, author = {Luan Viet Nguyen and James Kapinski and Xiaoqing Jin and Jyotirmoy V. Deshmukh and Taylor T. Johnson}, title = {Hyperproperties of real-valued signals}, booktitle = {Proceedings of the 15th {ACM}-{IEEE} International Conference on Formal Methods and Models for System Design} }