Kim G. Larsen

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Efficient On-the-Fly Algorithms for the Analysis of Timed Games

Franck Cassez and others (2005) · CONCUR 2005 – Concurrency Theory · Springer Berlin Heidelberg

Verification of an Audio Protocol with bus collision using Uppaal

Johan Bengtsson and others (1996) · Springer Berlin Heidelberg

A modal process logic

Kim G. Larsen and others (1988) · Proceedings of the 3rd Annual Symposium on Logic in Computer Science