Вы здесь
Sipma H.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Petri Net Analysis Using Invariant Generation | 2003 | Sankaranarayanan S., Sipma H., Manna Z. | Lecture Notes in Computer Science | 26.03.2004 | |||
| СТ | Linking STeP with SPIN | 2000 | Browne A., Sipma H., Zhang T. | Lecture Notes in Computer Science | 26.09.2000 |