Вы здесь

Muller O.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Combining Model Checking and Deduction for I/O-Automata 1995 Muller O., Nipkow T. Lecture Notes in Computer Science 11.01.1996