Citáce podľa APA (7th ed.)

Fang, X., Calinescu, R., Gerasimou, S., & Alhwikem, F. (2021, May). Fast Parametric Model Checking through Model Fragmentation. Proceedings / International Conference on Software Engineering, 835-846. https://doi.org/10.1109/ICSE43902.2021.00081

Citácia podle Chicago (17th ed.)

Fang, Xinwei, Radu Calinescu, Simos Gerasimou, a Faisal Alhwikem. "Fast Parametric Model Checking Through Model Fragmentation." Proceedings / International Conference on Software Engineering May. 2021: 835-846. https://doi.org/10.1109/ICSE43902.2021.00081.

Citácia podľa MLA (8th ed.)

Fang, Xinwei, et al. "Fast Parametric Model Checking Through Model Fragmentation." Proceedings / International Conference on Software Engineering, May. 2021, pp. 835-846, https://doi.org/10.1109/ICSE43902.2021.00081.

Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..