Showing 1 - 2 results of 2 for search 'Edelkamp, Stefan', query time: 0.01s Refine Results
  1. 1
    Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
    by Edelkamp, Stefan
    Published in Springer e-books (2007)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 2
    Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
    by Bošnacki, Dragan
    Published in Springer e-books (2007)
    Other Authors: “...Edelkamp, Stefan...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed