Вы здесь
Dubtsov R.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction | 2012 | Dubtsov R. | Lecture Notes in Computer Science | 19.02.2013 | |||
| СТ | Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction | 2006 | Dubtsov R. | IIS SB RAS | Perspectives of System Informatics: Preliminary Proceedings`06 | 04.08.2006 |