본문

  1. Home
1 Results:AA:MALIK S PP:INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS 0.93 sec.
RSS 
Multilingual
 高级搜索
 新货搜索
选定的打印 Select Export to Excel
1
Incremental verification and synthesis of discrete-event systems guided by counter examples
Incremental verification and synthesis of discrete-event systems guided by counter examples
Bertil A. Brandin, | Institute of Electrical and Electronics Engineers | 2004 ,
처음1마지막