APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Sudhakar, Krishna, Yuhong Zhao, and 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.

MLA (9th ed.) Citation

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.