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
Citace 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.
Citace podle MLA (9th 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..