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

Article Details
Title:	Estimating latency and concurrency of asynchronous real-time interactive systems using model checking
Article URLs:	https://doi.org/10.1109/VR.2016.7504688 http://doi.ieeecomputersociety.org/10.1109/VR.2016.7504688
Alternative Article URLs:
Authors:	Stephan Rehfeld	Beuth Hochschule für Technik Berlin
	Marc Erich Latoschik	Universität Würzburg
	Henrik Tramberend	Beuth Hochschule für Technik Berlin
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/ekhamespanah
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/vr/RehfeldLT16
Author Comments:

IEEE Virtual Reality, VR 2016