Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Bouyer, Patricia

Bouyer, Patricia (Имя лица)

Number of records used in: 1
Preferred form: Bouyer, Patricia

Machine generated authority record.

Work cat.: (RU-ToGU): Asarin, Eugene. 323324, Formal Modeling and Analysis of Timed Systems (vol. # 4202), 2006