Kim G. Larsen
Author detail
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
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryMM
Models, Mindsets, Meta : The What, the How, and the Why Not?
cover - Image source: Open LibraryCA
Computer aided verification
cover - Image source: Open LibraryAL
Automata, Languages and Programming
cover - FMFormal Modeling and Analysis of...Kim G. Larsen
Formal Modeling and Analysis of Timed Systems
no cover - CAComputer Aided Verification: 3r...Kim G. Larsen
Computer Aided Verification: 3rd International Workshop, Cav 92
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.