Showing 1 - 1 results of 1 for search 'Schreiner, Dietmar', query time: 0.01s Refine Results
  1. 1
    Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /
    Published 2012
    Other Authors: “…Schreiner, Dietmar…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search