Вы здесь
Lermer K.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics | 1999 | Lermer K. | Lecture Notes in Computer Science | 18.06.1999 | |||
СТ | A Formal Model of Real-Time Program Compilation | 1999 | Lermer K., Fidge C. | Lecture Notes in Computer Science | 18.06.1999 | |||
СТ | A Framework for the Specification of Reactive and Concurrent Systems in Z | 1995 | Baumann P., Lermer K. | Lecture Notes in Computer Science | 30.01.1996 |