Вы здесь
Anisimov N. A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | A Notion of Petri Net Entity for Communication Protocol Design/Inst. Automation and Control Processes. Far Eastern Dep. | 1989 | Anisimov N. A. | 24.12.1992 | ||||
| СТ | A Petri Net Entity as a formal Model for LOTOS, a Specification Language for distributed and concurrent Systems | 1989 | Anisimov N. A. | 12.05.1995 | ||||
| СТ | An Algebra of Regular Macronets for Formal Specification of Communication Protocols | 1991 | Anisimov N. A. | Computers and Artificial Intelligence | 29.03.1992 |