Jørgensen, K. Y., Larsen, K. G., & Srba, J. (2012, November 27). Time-Darts: A Data Structure for Verification of Closed Timed Automata. arXiv.org. https://doi.org/10.48550/arxiv.1211.6195
Citácia podle Chicago (17th ed.)Jørgensen, Kenneth Y., Kim G. Larsen, a Jiří Srba. "Time-Darts: A Data Structure for Verification of Closed Timed Automata." ArXiv.org 27 Nov. 2012. https://doi.org/10.48550/arxiv.1211.6195.
Citácia podľa MLA (8th ed.)Jørgensen, Kenneth Y., et al. "Time-Darts: A Data Structure for Verification of Closed Timed Automata." ArXiv.org, 27 Nov. 2012, https://doi.org/10.48550/arxiv.1211.6195.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..