Advances in Verification of Time Petri Nets and Timed

2014-02-02 分类：计算机、互联网

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence)

Hardcover: 258 pages

Publisher: Springer (June 26, 2006)

Language: English

ISBN-10: 3540328696

代发服务PDF电子书10元立即求助

1111

 打赏