Вы здесь
Finkbeiner B.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Directed Model Checking with Distance-Preserving Abstraction | 2006 | Draeger K., Finkbeiner B., Podelski A. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 23.05.2006 | ||
СТ | Deductive Verification of Modular Systems | 1998 | Finkbeiner B., Manna Z., Sipma H. B. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 30.01.1999 | ||
СТ | Abstraction and Modular Verification of Infinite-State Reactive Systems | 1998 | Manna Z., Colon M. A., Finkbeiner B., Sipma H. B., Uribe T. E. | Lecture Notes in Computer Science | 10.12.1998 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Verification, Model Checking, and Abstract Interpretation: Proc./23rd International Conference, VMCAI 2022, Philadelphia,PA,USA, January 2022 | 2022 | Lecture Notes in Computer Science |
|
15.02.2022 | |||
СБ | Runtime Verification: Proc./19th International Conference, RV 2019, Porto, Portugal, October 2019 | 2019 | Lecture Notes in Computer Science |
|
07.11.2019 | |||
СБ | Automated Technology for Verification and Analysis: Proc./13th International Symposium, ATVA 2015, Shanghai, China, October 2015 | 2015 | Lecture Notes in Computer Science |
|
19.02.2016 | |||
СБ | Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday | 2015 | Lecture Notes in Computer Science |
|
20.10.2015 |