Отображение 1 - 1 результаты of 1 для поиска 'Etessami, Kousha', время запроса: 0.01сек. Отмена результатов
  1. 1
    Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    по Etessami, Kousha
    Опубликовано в: Springer e-books (2005)
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток