본문

  1. Home
1 Results:AA:BERTIL A BRANDIN 0.28 sec.
RSS 
Multilingual
 Расширенный поиск
 Новый поиск книги прибытия
Selected Print 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마지막