Вы здесь

Hartonas-Garmhousen V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ ProbVerus: Probabilistic Symbolic Model Checking 1999 Hartonas-Garmhousen V., Campos S., Clarke E. Lecture Notes in Computer Science 18.06.1999