Normal view MARC view

Leino, K. Rustan M. (Personal Name)

Number of records used in: 1
Preferred form: Leino, K. Rustan M.

Machine generated authority record.

Work cat.: ()946257: TACAS 2011. (17th : 2011 : Saarbrücken, Germany) 1039153, Tools and Algorithms for the Construction and Analysis of Systems, 2011.

                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India