Вы здесь
Geldenhuys J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Larger Automata and Less Work for LTL Model Checking | 2006 | Geldenhuys J., Hansen H. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 23.05.2006 | ||
| СТ | Runtime Efficient State Compaction in SPIN | 1999 | Geldenhuys J., De Villiers P.J. A. | Lecture Notes in Computer Science | 26.10.1999 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Model Checking Software: Proc./22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 2015 | 2015 | Lecture Notes in Computer Science |
|
20.10.2015 |