APA (7th ed.) Citation

Rehfeld, S., Latoschik, M. E., & Tramberend, H. (2016, March). Estimating latency and concurrency of asynchronous real-time interactive systems using model checking. Proceedings of the Workshop on Future Trends of Distributed Computing Systems, 57-66. https://doi.org/10.1109/VR.2016.7504688

Chicago Style (17th ed.) Citation

Rehfeld, Stephan, Marc Erich Latoschik, and Henrik Tramberend. "Estimating Latency and Concurrency of Asynchronous Real-time Interactive Systems Using Model Checking." Proceedings of the Workshop on Future Trends of Distributed Computing Systems Mar. 2016: 57-66. https://doi.org/10.1109/VR.2016.7504688.

MLA (9th ed.) Citation

Rehfeld, Stephan, et al. "Estimating Latency and Concurrency of Asynchronous Real-time Interactive Systems Using Model Checking." Proceedings of the Workshop on Future Trends of Distributed Computing Systems, Mar. 2016, pp. 57-66, https://doi.org/10.1109/VR.2016.7504688.