Вы здесь
Namjoshi K.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation | 1999 | Manolios P., Namjoshi K., Sumners R. | Lecture Notes in Computer Science | 16.07.1999 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Static Analysis: Proc./28th International Symposium, SAS 2021, CHicago,IL,USA, October 2021 | 2021 | Lecture Notes in Computer Science |
|
26.11.2021 | |||
| СБ | Hardware and Software: Verification and Testing: Revised Selected Papers/5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 2009 | 2011 | Lecture Notes in Computer Science |
|
29.03.2011 |