P籀lrola, Agata.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Advances in Verification of Time Petri Nets and Timed Automata :A Temporal Logic Approach /
by:
Penczek, Wojciech.; P籀lrola, Agata.
(Electronic resources)