Stephan Rehfeld, Marc Erich Latoschik, Henrik Tramberend. Estimating latency and concurrency of asynchronous real-time interactive systems using model checking. In Tobias Höllerer, Victoria Interrante, Anatole Lécuyer, Evan A. Suma, editors, 2016 IEEE Virtual Reality, VR 2016, Greenville, SC, USA, March 19-23, 2016. pages 57-66, IEEE Computer Society, 2016. [doi]
Abstract is missing.