Normal view
MARC view
- Steffen, Martin
Steffen, Martin (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Steffen, Martin., Formal Methods for Open Object-Based Distributed Systems (vol. # 3535), 2005