Penczek, W., & Pólrola, A. (2006). Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationPenczek, Wojciech, and Agata Pólrola. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006.
MLA (8th ed.) CitationPenczek, Wojciech, and Agata Pólrola. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Springer Berlin Heidelberg, 2006.
Warning: These citations may not always be 100% accurate.
