Showing 1 - 1 results of 1 for search 'Brim, Lubos', query time: 0.01s Refine Results
  1. 1
    Formal Methods Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification
    by Brim, Lubos
    Published in Springer e-books (2007)
    Get full text
    eBook
Search Tools: Get RSS Feed