Вы здесь

Xie G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components 2005 Xie G., Dang Zh. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.04.2005