Вы здесь

Dierks 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
СТ Moby/DC - A Tool for Model-Checking Parametric Real-Time Specifications 2003 Dierks H., Tapken J. Lecture Notes in Computer Science 17.04.2003
СТ A Process Algebra for Real-Time Programs 2000 Dierks H. Lecture Notes in Computer Science 25.04.2000
СТ Decomposing Real-Time Specifications 1998 Olderog E. -R., Dierks H. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.01.1999
СТ A Unifying Framework for Correct Program Construction 1998 Dierks H., Schenke M. Lecture Notes in Computer Science 25.06.1998