Vista normal
Vista MARC
- Palsberg, Jens.
Palsberg, Jens. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)296199: Hermanns, Holger. editor. 331104, Tools and Algorithms for the Construction and Analysis of Systems :