Maria V. Andreeva
E-mail
Organization:
  • A.P. Ershov Institute of Informatics Systems SB RAS — junior researcher
List of Articles:
Andreeva M. Action refinement and equivalence notions for timed event structures // Computer Science. — 2006 . — # 24.  — P. 1-25
Andreeva M. Virbitskaite I. Concurrent testing for timed event structures // Computer Science. — 2002 . — # 18.  — P. 1-14
Andreeva M. Il'in V. Itskovich E. Two solvers for non-symmetric SLAEs // Numerical Analysis. — 2003 . — # 12.  — P. 1-12