TY - RPRT TI - Exploring concurrency and reachability in the presence of high temporal resolution AU - Eun Lee AU - James Moody AU - Peter J. Mucha PY - 2019 DO - 10.1007/978-3-030-23495-9_7 UR - https://arxiv.org/abs/1910.01419 ID - 1910.01419 ER -