Advances in Verification of Time Petri Nets and Timed Automata

MLA

Penczek, Wojciech, and Agata Pólrola. Advances In Verification of Time Petri Nets and Timed Automata. Springer Berlin Heidelberg, 2006.

APA

Penczek, W., & Pólrola, A. (2006). Advances in Verification of Time Petri Nets and Timed Automata. Springer Berlin Heidelberg.

Chicago

Penczek, Wojciech, and Agata Pólrola. Advances In Verification of Time Petri Nets and Timed Automata. : Springer Berlin Heidelberg, 2006.