Computer Aided Verification 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings Larsen Kim G. Heftet / 1992 / Engelsk
Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings Brinksma, Ed Heftet / 2002 / Engelsk
CONCUR 2001 - Concurrency Theory 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings Larsen Kim G. Heftet / 2001 / Engelsk
Formal Modeling and Analysis of Timed Systems First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers Larsen Kim G. Heftet / 2004 / Engelsk
Automata, Languages and Programming 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings Larsen Kim G. Heftet / 1998 / Engelsk
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday Margaria Tiziana Heftet / 2019 / Engelsk
