Вы здесь

Carreno V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Analyzing Mode Confusion via Model Checking 1999 Luttgen G., Carreno V. Lecture Notes in Computer Science 26.10.1999