Вы здесь

Koymans R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Specifying Message Passing and Time-Critical Systems with Temporal Logic 1992 Koymans R. Lecture Notes in Computer Science 03.02.1993
СТ (Real) Time: A Philosophical Perspective 1992 Koymans R. Lecture Notes in Computer Science 08.08.1992