Вы здесь

Fontaine P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Decidability of Invariant Validation for Paramaterized Systems 2003 Fontaine P., Gribomont E. P. Lecture Notes in Computer Science 17.04.2003