Normal view
MARC view
- Huth, Michael
Huth, Michael (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Grumberg, Orna. 327895, Tools and Algorithms for the Construction and Analysis of Systems, 2007.