Vista normal
Vista MARC
- Leino, K. Rustan M.
Leino, K. Rustan M. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)302629: Abdulla, Parosh Aziz. editor. 340962, Tools and Algorithms for the Construction and Analysis of Systems :