Philipp Eichmann, Andrew Crotty, Alexander Galakatos, Emanuel Zgraggen. Discrete Time Specifications In Temporal Queries. In Gloria Mark, Susan R. Fussell, Cliff Lampe, m. c. schraefel, Juan Pablo Hourcade, Caroline Appert, Daniel Wigdor, editors, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, Denver, CO, USA, May 06-11, 2017, Extended Abstracts. pages 2536-2542, ACM, 2017. [doi]
@inproceedings{EichmannCGZ17,
title = {Discrete Time Specifications In Temporal Queries},
author = {Philipp Eichmann and Andrew Crotty and Alexander Galakatos and Emanuel Zgraggen},
year = {2017},
doi = {10.1145/3027063.3053222},
url = {http://doi.acm.org/10.1145/3027063.3053222},
researchr = {https://researchr.org/publication/EichmannCGZ17},
cites = {0},
citedby = {0},
pages = {2536-2542},
booktitle = {Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, Denver, CO, USA, May 06-11, 2017, Extended Abstracts},
editor = {Gloria Mark and Susan R. Fussell and Cliff Lampe and m. c. schraefel and Juan Pablo Hourcade and Caroline Appert and Daniel Wigdor},
publisher = {ACM},
isbn = {978-1-4503-4656-6},
}