12 results
Type of media (2)
Availability (2)
Classification (5)
Year
Persons
Publishers
Sort by
Results per page
Filter
12 results

Your search for Kim G. Larsen

  1. Cover: Models, Mindsets, Meta: The What, the How, and the Why Not? - Springer
    Tiziana Margaria | Susanne Graf | Kim G. Larsen
    Models, Mindsets, Meta: The What, the How, and the Why Not?
    Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
    06/2019
    Springer
    9783030223489 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Computer Aided Verification - Springer
    Ed Brinksma | Kim G. Larsen
    Computer Aided Verification
    14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
    08/2003
    Springer
    9783540456575 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Formal Modeling and Analysis of Timed Systems - Springer
    Kim G. Larsen | Peter Niebert
    Formal Modeling and Analysis of Timed Systems
    First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
    05/2004
    Springer
    9783540409038 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Models, Mindsets, Meta: The What, the How, and the Why Not? - Springer
    Tiziana Margaria | Susanne Graf | Kim G. Larsen
    Models, Mindsets, Meta: The What, the How, and the Why Not?
    Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
    06/2019
    Springer
    9783030223472 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  5. Cover: Automata, Languages and Programming - Springer
    Kim G. Larsen | Sven Skyum | Glynn Winskel
    Automata, Languages and Programming
    25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings
    07/1998
    Springer
    9783540647812 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  6. Cover: Formal Modeling and Analysis of Timed Systems - Springer
    Kim G. Larsen | Peter Niebert
    Formal Modeling and Analysis of Timed Systems
    First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
    04/2004
    Springer
    9783540216711 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: Computer Aided Verification - Springer
    Ed Brinksma | Kim G. Larsen
    Computer Aided Verification
    14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
    07/2002
    Springer
    9783540439974 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  8. Cover: CONCUR 2001 - Concurrency Theory - Springer
    Kim G. Larsen | Mogens Nielsen
    CONCUR 2001 - Concurrency Theory
    12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
    08/2001
    Springer
    9783540424970 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  9. Cover: Formal Modeling and Analysis of Timed Systems - Springer
    Kim G. Larsen | Peter Niebert
    Formal Modeling and Analysis of Timed Systems
    01/2014
    Springer
    9783662165423 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  10. Cover: Computer Aided Verification - Springer
    Kim G. Larsen | Arne Skou
    Computer Aided Verification
    3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
    04/1992
    Springer
    9783540551799 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Ed Brinksma | W. Rance Cleaveland | Kim G. Larsen
    Tools and Algorithms for the Construction and Analysis of Systems
    First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
    11/1995
    Springer
    9783540606307 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  12. This image is currently not available.
    Kim G. Larsen | Jan Tretmans | Brian Nielsen
    Quantitative Model-Based Analysis of Real-Time Embedded Systems
    The Quasimodo Project
    08/2012
    Springer
    9789400713680 (ISBN)
    Book
    Hardback
    €134.50
    The article will not be published