Advances in verification of time petri nets and timed automata : a temporal logic approach
著者
書誌事項
Advances in verification of time petri nets and timed automata : a temporal logic approach
(Studies in computational intelligence, v. 20)
Springer Berlin, 2006
大学図書館所蔵 件 / 全8件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する