Вы здесь

Madhustan P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Decision Problems for Timed Automata: A Survey 2004 Alur R., Madhustan P. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.01.2005