Normal view
MARC view
- Vain, Jüri
Vain, Jüri (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Derrick, John. 329312, Formal Techniques for Networked and Distributed Systems - FORTE 2007, 2007.