Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Ben-Ari, Mordechai

Ben-Ari, Mordechai (Имя лица)

Number of records used in: 1
Preferred form: Ben-Ari, Mordechai

Machine generated authority record.

Work cat.: (RU-ToGU): Ben-Ari, Mordechai., Principles of the Spin Model Checker, 2008.