Вы здесь

Behrmann H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Adapting an AI Planning Heuristic for Directed Model Checking 2006 Kupferschmid S., Hoffmann J., Dierks H., Behrmann H. Lecture Notes in Computer Science Lecture Notes in Computer Science 23.05.2006