Showing 1 - 5 results of 5 for search 'Larsen, Kim G.', query time: 0.03s Refine Results
  1. 1
    Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
    Published 2002
    Other Authors: “…Larsen, Kim G.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Formal Modeling and Analysis of Timed Systems First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers /
    Published 2004
    Other Authors: “…Larsen, Kim G.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    CONCUR 2001 - Concurrency Theory 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings /
    Published 2001
    Other Authors: “…Larsen, Kim G.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Automata, Languages and Programming 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings /
    Published 1998
    Other Authors: “…Larsen, Kim G.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday /
    Published 2019
    Other Authors: “…Larsen, Kim G.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search