APA-Zitierstil (7. Ausg.)

(2006). Advances in verification of time Petri nets and timed automata: A temporal logic approach. Springer. https://doi.org/10.1007/978-3-540-32870-4

Chicago-Zitierstil (17. Ausg.)

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Berlin [u.a.]: Springer, 2006. https://doi.org/10.1007/978-3-540-32870-4.

MLA-Zitierstil (9. Ausg.)

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Springer, 2006. https://doi.org/10.1007/978-3-540-32870-4.