Kouzmin Egor

Search

By title

By abstract

By keywords

By author

By series

Bu issue

By year

Egor V. Kouzmin

E-mail

egorku@mail.ru

List of Articles:

Kouzmin E. Shilov N. Sokolov V. Model checking μ-calculus in well-structured transition systems // Computer Science. — 2004 . — # 20. — P. 49-59