Showing 1 - 1 results of 1 for search 'Kowalewski, Stefan', query time: 0.01s Refine Results
  1. 1

    Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice...

    Published 2009
    Other Authors: “…Kowalewski, Stefan…”
    Conference Proceeding Book