APA (7. basım) Alıntı

Penczek, W., & Połrola, A. (2006). Advances in verification of time petri nets and timed automata: A temporal logic approach. Springer.

Chicago Style (17. basım) Atıf

Penczek, Wojciech, ve Agata Połrola. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Berlin: Springer, 2006.

MLA (9th ed.) Atıf

Penczek, Wojciech, ve Agata Połrola. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Springer, 2006.