Normal view
MARC view
Steffen, Bernhard(Personal Name)
Machine generated authority record
Work cat.: (UA-OsUOA): Tools and Algorithms for the Construction and Analysis of Systems