APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Jørgensen, Kenneth Y., Kim G. Larsen, and 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.

MLA (9th ed.) Citation

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.