%0 Conference Paper %1 conf/vr/RehfeldLT16 %A Rehfeld, Stephan %A Latoschik, Marc Erich %A Tramberend, Henrik %B VR %D 2016 %E Höllerer, Tobias %E Interrante, Victoria %E Lécuyer, Anatole %E Suma, Evan A. %I IEEE Computer Society %K dblp %P 57-66 %T Estimating latency and concurrency of asynchronous real-time interactive systems using model checking. %U http://dblp.uni-trier.de/db/conf/vr/vr2016.html#RehfeldLT16 %@ 978-1-5090-0836-0

@inproceedings{conf/vr/RehfeldLT16, added-at = {2016-07-12T00:00:00.000+0200}, author = {Rehfeld, Stephan and Latoschik, Marc Erich and Tramberend, Henrik}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f96b2deb260c8b0cfc6aadbc78332e6f/dblp}, booktitle = {VR}, crossref = {conf/vr/2016}, editor = {Höllerer, Tobias and Interrante, Victoria and Lécuyer, Anatole and Suma, Evan A.}, ee = {http://doi.ieeecomputersociety.org/10.1109/VR.2016.7504688}, interhash = {7cc807c436463ec87982532ee0ce1556}, intrahash = {f96b2deb260c8b0cfc6aadbc78332e6f}, isbn = {978-1-5090-0836-0}, keywords = {dblp}, pages = {57-66}, publisher = {IEEE Computer Society}, timestamp = {2016-07-13T09:35:17.000+0200}, title = {Estimating latency and concurrency of asynchronous real-time interactive systems using model checking.}, url = {http://dblp.uni-trier.de/db/conf/vr/vr2016.html#RehfeldLT16}, year = 2016 }