Вы здесь

Andersen H. R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Practical Verification of Embedded Software 2000 Staunstrup J., Andersen H. R., Hulgaard H., Lind-Nielsen J., Larsen K. G., Behrmann G., Kristoffersen K., Skou A., Leerberg H., Theilgaard N. B. Computer 26.07.2000
СТ Stepwise CTL Model Checking of State/Event Systems 1999 Lind-Nielsen J., Andersen H. R. Lecture Notes in Computer Science 16.07.1999
СТ Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion 1995 Andersen H. R., Vergauwen B. Lecture Notes in Computer Science 27.07.1995
СТ Describing a Signal Analyzer in the Process Algebra PMC - A Case Study 1995 Andersen H. R., Mandler M. Lecture Notes in Computer Science 20.06.1995
СТ On Model Checking Infinite-State Systems 1994 Andersen H. R. Lecture Notes in Computer Science 27.07.1994
СТ An Asynchronous Process Algebra with Multiple Clocks 1994 Andersen H. R., Mendler M. Lecture Notes in Computer Science 06.05.1994