Yazar
agata polrola
1 cilt bulundu.
Cilt sonuçları
Advances in verification of time petri nets and timed automata
Wojciech Penczek, Agata Pólrola · Springer London, Limited
291 sayfa · 2006
Real-time control / Petri nets / Real-time data processing
Yazar
1 cilt bulundu.
Wojciech Penczek, Agata Pólrola · Springer London, Limited
291 sayfa · 2006
Real-time control / Petri nets / Real-time data processing