大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 P贸lrola 的图书(共1本)

Advances in Verification of Time Petri Nets and Timed Automata [electronic resource] : A Temporal Logic Approach

0
索取号：
作者：Penczek、 Wojciech.、P贸lrola、 Agata.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.