Discrete Time Specifications In Temporal Queries.

Philipp Eichmann, Andrew Crotty, Alexander Galakatos, Emanuel Zgraggen

Browse the full CHI paper archive.