Join BookitisSave favorites, build lists, and follow creators.

Kim G. Larsen

Author detail

KG
5 featured books

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

OL3301157A

Overview

Catalog identity and bibliographic footprint for this author.

5 representative editions

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

Catalog identity

How this author appears inside the active Bookitis catalog.

  • Display name

    Kim G. Larsen

  • Source identifier

    OL3301157A

Featured books

Representative editions for works actually authored by this person.

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

  • Models, Mindsets, Meta : The What, the How, and the Why Not?

    Representative edition published 2019

    Open Work
  • Computer aided verification

    Representative edition published 2002

    Open Work
  • Automata, Languages and Programming

    Representative edition published 1998

    Open Work
  • Formal Modeling and Analysis of Timed Systems

    Representative edition published 2004

    Open Work
  • Computer Aided Verification: 3rd International Workshop, Cav 92

    Representative edition published 1992

    Open Work