Showing 1 - 2 results of 2 for search 'Asarin, Eugene', query time: 0.01s Refine Results
  1. 1
    Formal Modeling and Analysis of Timed Systems (vol. # 4202) 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
    by Asarin, Eugene
    Published in Springer e-books (2006)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 2
    Computer Security - ESORICS 2006 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings
    by Asarin, Eugene
    Published in Springer e-books (2006)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed