Вы здесь

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