Showing 1 - 4 results of 4 for search 'Larsen, Kim Guldstrand', query time: 0.02s Refine Results
  1. 1
    Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings /
    Published 2019
    Other Authors: “…Larsen, Kim Guldstrand…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings /
    Published 2016
    Other Authors: “…Larsen, Kim Guldstrand…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /
    Published 2017
    Other Authors: “…Larsen, Kim Guldstrand…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /
    Published 2015
    Other Authors: “…Larsen, Kim Guldstrand…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search