Вы здесь

Li H. F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Verifying Timed Behavior Automata with Nonbinary Delay Constraints 1993 Probst D. K., Li H. F. Lecture Notes in Computer Science 07.05.1993