Вы здесь
Sankaranarayanan S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Constraint-Based Linear Relations Analysis | 2004 | Sankaranarayanan S., Sipma H. B., Manna Z. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 22.10.2004 | ||
| СТ | Non-linear Invariant Generation using Grobner Bases | 2004 | Sankaranarayanan S., Sipma H. B., Manna Z. | POPL 2004 | 09.06.2004 | |||
| СТ | Petri Net Analysis Using Invariant Generation | 2003 | Sankaranarayanan S., Sipma H., Manna Z. | Lecture Notes in Computer Science | 26.03.2004 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Modeling and Analysis of Timed Systems: Proc./13th International Conference, FORMATS 2015, Madrid, Spain, September 2015 | 2015 | Lecture Notes in Computer Science |
|
29.09.2015 |