Вы здесь
Probst D. K.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Verifying Timed Behavior Automata with Nonbinary Delay Constraints | 1993 | Probst D. K., Li H. F. | Lecture Notes in Computer Science | 07.05.1993 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Computer Aided Verification: Proc./Fourth Intern. Workshop, CAV 92. Montreal, Canada, June-July 1992 | 1993 | Lecture Notes in Computer Science |
|
06.05.1993 |