Kim G. Larsen books & textbook
Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
Margaria, Tiziana Graf, Susanne Larsen, Kim G.
Springer /2019-06-26 Paperback / 448 Pages
isbn-10: 3030223477 / isbn-13: 9783030223472
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science, 2404)
Springer /2002-07-19 Paperback / 372 Pages
isbn-10: 3540439978 / isbn-13: 9783540439974
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. ... (Lecture Notes in Computer Science, 1019)
Brinksma, Ed Cleaveland, W. Rance Larsen, Kim G. Margaria, Tiziana Steffen, Bernhard
Springer /1995-11-23 Paperback / 305 Pages
isbn-10: 3540606300 / isbn-13: 9783540606307
CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings (Lecture Notes in Computer Science, 2154)
Larsen, Kim G. Nielsen, Mogens
Springer /2001-08-13 Paperback / 600 Pages
isbn-10: 3540424970 / isbn-13: 9783540424970
Quantitative Model-Based Analysis of Real-Time Embedded Systems: The Quasimodo Project
Kim G. Larsen Jan Tretmans Brian Nielsen
Springer /2015-01-29 Hardcover / 260 Pages
isbn-10: 9400713681 / isbn-13: 9789400713680
Automata, Languages and Programming: 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings (Lecture Notes in Computer Science, 1443)
Larsen, Kim G. Skyum, Sven Winskel, Glynn
Springer /1998-07-06 Paperback / 932 Pages
isbn-10: 3540647813 / isbn-13: 9783540647812
Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science, 575)
Springer /1992-04-22 Paperback / 504 Pages
isbn-10: 3540551794 / isbn-13: 9783540551799
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science, 2791)
Springer /2004-04-08 Paperback / 289 Pages
isbn-10: 3540216715 / isbn-13: 9783540216711
Contracts for System Design (Foundations and Trends(r) in Electronic Design Automation)
Benveniste, Albert Caillaud, Benoît Nickovic, Dejan Passerone, Roberto Raclet, Jean-Baptiste Reinkemeier, Philipp Sangiovanni-Vincentelli, Alberto Damm, Werner Henzinger, Thomas A Larsen, Kim G
Now Publishers /2018-03-28 Paperback / 296 Pages
isbn-10: 1680834029 / isbn-13: 9781680834024
REAL-TIME SYSTEMS: Proceedings of 18th IEEE Symposium on, 2-5 December 1997, San Francisco, California
Kim G.; Bouajjani Ahmed; et.al. Havelund, Klaus; Larsen
IEEE Computer Society Press /1997T Hardcover
isbn-10: 0818682698 / isbn-13: 9780818682698
