Вы здесь

Cerans K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ CTR: A Calculus of Timed Refinement 1995 Cerans K. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 17.10.1995