Showing 1 - 2 results of 2 for search 'Leue, Stefan', query time: 0.01s Refine Results
  1. 1
    Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
    by Leue, Stefan
    Published in Springer eBooks (2008)
    Get full text
    eBook
  2. 2
    Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
    by Leue, Stefan
    Published in Springer e-books (2005)
    Get full text
    eBook
Search Tools: Get RSS Feed