APA (7th ed.) Citation

Penczek, W., & Poł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 Połrola. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Berlin: Springer, 2006.

MLA (9th ed.) Citation

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