Normal view MARC view

Schätz, Bernhard. (Personal Name)

Preferred form: Schätz, Bernhard.

Machine generated authority record.

Work cat.: ()944508: International Workshop on Formal Methods for Industrial Critical Systems. (16th : 2011 : Trento, Italy) 1037530, Formal Methods for Industrial Critical 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