Вы здесь
Tiusanen M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Symbolic Stubborn Set Search | 1994 | Tiusanen M. | Concurrency Specification and Programming: Proc./CS&P 93 Workshop, Nieborow near Warsaw, Poland, 14-16 October 1993 | 28.10.1994 | |||
| П | PROD - A Pr/T- Net Reachability Analysis Tool | 1993 | Gronberg P., Tiusanen M., Varpaaniemi K. | Helsinki Univ. Technology | 14.07.1993 | |||
| П | Annual Report for the Year 1992 | 1993 | Tiusanen M. | Helsinki Univ. Technology | 14.07.1993 |