Showing 1 - 6 results of 6 for search 'Leucker, Martin', query time: 0.02s Refine Results
  1. 1
    Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers /
    Published 2008
    Other Authors: “…Leucker, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /
    Published 2018
    Other Authors: “…Leucker, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
  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…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
    Published 2015
    Other Authors: “…Leucker, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers /
    Published 2007
    Other Authors: “…Leucker, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Model-Based Testing of Reactive Systems Advanced Lectures /
    Published 2005
    Other Authors: “…Leucker, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search