Votinseva A.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML	2003	Damm W., Josko B., Pnueli A., Votinseva A.				Lecture Notes in Computer Science	31.01.2004
СТ	Equivalence Notions for Event Structures and Refinement of Actions	1996	Votinseva A.				Joint Bull. of NCC and IIS	12.02.1998