APA (7th ed.) Citation

Bouyer, P., Larsen, K. G., & Markey, N. (2012, September). Lower-Bound Constrained Runs in Weighted Timed Automata. 2012 Ninth International Conference on Quantitative Evaluation of Systems, 128-137. https://doi.org/10.1109/QEST.2012.28

Chicago Style (17th ed.) Citation

Bouyer, P., K. G. Larsen, and N. Markey. "Lower-Bound Constrained Runs in Weighted Timed Automata." 2012 Ninth International Conference on Quantitative Evaluation of Systems Sep. 2012: 128-137. https://doi.org/10.1109/QEST.2012.28.

MLA (9th ed.) Citation

Bouyer, P., et al. "Lower-Bound Constrained Runs in Weighted Timed Automata." 2012 Ninth International Conference on Quantitative Evaluation of Systems, Sep. 2012, pp. 128-137, https://doi.org/10.1109/QEST.2012.28.