Вы здесь
Thurner E. M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Proving System Properties by Means of Trigger-Graph | 1996 | Thurner E. M. | Lecture Notes in Computer Science | 24.02.1996 | |||
| СТ | TOMSPIN - A Tool for Modeling with Stochastic Petri Nets | 1996 | Thurner E. M., Wincheringer Ch. | Lecture Notes in Computer Science | 24.02.1996 | |||
| СТ | Performance Measurement Using System Monitors | 1993 | Thurner E. M. | Lecture Notes in Computer Science | 12.01.1994 |