Результати пошуку - Letichevskyi, A.

  • Показ 1 - 1 результатів із 1
Уточнити результати
  1. 1
    Зображення обкладинки

    Satisfiability For Symbolic Verification in VRS за авторством Letichevsky, A., Letichevskyi, A., Weigert, T., Peschanenko, V.

    Опубліковано в: Управляющие системы и машины (2013)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: