Вы здесь
Votintseva A. V.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Notes on Logical Axiomatization of Density Concepts | 1994 | Virbitskaite I. B., Votintseva A. V. | ИСИ СО РАН | Specification, Verification and Net Models of Concurrent Systems | 29.11.1995 | ||
| СТ | Modelling the Semantics of Coloured Dataflow Networks | 1995 | Virbitskaite I. B., Votintseva A. V. | Computer Science | Bulletin of the Novosibirsk Computing Center | 08.04.1997 |