Вы здесь

Maier P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Model-Checking of Specifications Integrating Processes, Data and Time 2005 Hoenicke J., Maier P. Lecture Notes in Computer Science Lecture Notes in Computer Science 08.11.2005
СТ Bounded Model Checking of Pointer Programs 2005 Charatonik W., Georgieva L., Maier P. Lecture Notes in Computer Science Lecture Notes in Computer Science 19.10.2005