APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Penczek, Wojciech, and Agata Półrola. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Berlin [u.a.]: Springer, 2006.

MLA (9th ed.) Citation

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