Sudhakar, K., Zhao, Y., & Rammig, F. (2016). Efficient integration of online model checking into a small-footprint real-time operating system. Concurrency and computation, 28(14), 3773-3797. https://doi.org/10.1002/cpe.3712
Citácia podle Chicago (17th ed.)Sudhakar, Krishna, Yuhong Zhao, a Franz-Josef Rammig. "Efficient Integration of Online Model Checking into a Small-footprint Real-time Operating System." Concurrency and Computation 28, no. 14 (2016): 3773-3797. https://doi.org/10.1002/cpe.3712.
Citácia podľa MLA (8th ed.)Sudhakar, Krishna, et al. "Efficient Integration of Online Model Checking into a Small-footprint Real-time Operating System." Concurrency and Computation, vol. 28, no. 14, 2016, pp. 3773-3797, https://doi.org/10.1002/cpe.3712.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..