Estimating latency and concurrency of asynchronous real-time interactive systems using model checking.

Stephan Rehfeld, Marc Erich Latoschik, Henrik Tramberend

Browse the full VR paper archive.