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