Showing 1 - 8 results of 8 for search 'Leucker, Martin', query time: 0.03s Narrow Search
  1. 1
    Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
    Published 2008
    Other Authors: “…Leucker, Martin…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
    Published 2018
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
    Published 2009
    Other Authors: “…Leucker, Martin…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
    Published 2015
    Other Authors: “…Leucker, Martin…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, proceedings
    Published 2023
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:
  6. 6
    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, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected
    Published 2007
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  7. 7
    Model-Based Testing of Reactive Systems Advanced Lectures
    Published 2005
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  8. 8
    Formal methods in outer space : essays dedicated to Klaus Havelund on the occasion of his 65th birthday
    Published 2021
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:

Search Tools: