Вы здесь
Bosnacki D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction | 1900 | Bosnacki D. | Lecture Notes in Computer Science | 29.11.2002 | |||
| СТ | A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness | 2003 | Bosnacki D. | Lecture Notes in Computer Science | 29.05.2003 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Model Checking Software: Proc./9th Intern. SPIN Workshop, Grenoble, France, April 2002 | 2002 | Lecture Notes in Computer Science |
|
01.05.2002 | |||
| СБ | Model Checking Software: Proc./23rd International Symposium, SPIN 2016 Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 2016 | 2016 | Lecture Notes in Computer Science |
|
16.06.2016 | |||
| СБ | Model Checking Software: Proc./14th International SPIN Workshop. Berlin, Germany, July 2007 | 2007 | Lecture Notes in Computer Science |
|
26.06.2007 |