Вы здесь

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