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
Citace podle Chicago (17th ed.)Rehfeld, Stephan, Marc Erich Latoschik, a 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.
Citace podle MLA (9th ed.)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.