Trích dẫn kiểu APA (xuất bản lần thứ 7)

SpringerLink (Online service), Ničković, D., & Jurdziński, M. (2012). Formal modeling and analysis of timed systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Imprint: Springer.

Trích dẫn kiểu Chicago (xuất bản lần thứ 7)

SpringerLink (Online service), Dejan Ničković, và Marcin Jurdziński. Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Berlin, Heidelberg: Imprint: Springer, 2012.

Trích dẫn kiểu MLA (xuất bản lần thứ 8)

SpringerLink (Online service), et al. Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Imprint: Springer, 2012.

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.