Κανονική προβολή
Προβολή MARC
- Penczek, Wojciech
Penczek, Wojciech (Personal Name)
Machine generated authority record.
Work cat.: (GR-PaULI)49469: Penczek, Wojciech, Advances in Verification of Time Petri Nets and Timed Automata, 2006