Normal view
MARC view
- Asarin, Eugene
Asarin, Eugene (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Asarin, Eugene., Formal Modeling and Analysis of Timed Systems (vol. # 4202), 2006