Отображение 1 - 1 результаты of 1 для поиска 'Thang, Nguyen Truong', время запроса: 0.01сек. Отмена результатов
  1. 1

    Specification and verification of inter-component constraints in CTL. по Thang, Nguyen Truong

    Опубликовано в: Software engineering notes.
    Статья

    Specification and verification of inter-component constraints in CTL.

Инструменты поиска: