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]
Abstract is missing.