Verification of Systems and Circuits Using LOTOS, Petri Nets girro 2015年5月29日 17 阅读 0 评论 工程 Verification of Systems and Circuits Using LOTOS, Petri Nets AuthorMichael Yoeli, Rakefet Kol Publisher: -Interscience Print length: 231 Publication date: 2008-03-07 ISBN-10: 0471704490 ISBN-13: 9780471704492 代发服务PDF电子书10元立即求助