Showing 1 - 2 results of 2 for search 'Merz, Stephan', query time: 0.01s Refine Results
  1. 1
    Temporal Logic and State Systems
    by Kröger, Fred
    Published in Springer eBooks (2008)
    Other Authors: “...Merz, Stephan...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 2
    Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Other Authors: “...Merz, Stephan...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed