Kim G Larsen

Kim G Larsen

Aalborg University - Aalborg / Denmark
Others
AD Scientific Index ID: 926076
Universitas Alburgensis
person_outline Kim G Larsen's MOST POPULAR ARTICLES
1-) UPPAAL in a nutshellKG Larsen, P Pettersson, W YiInternational journal on software tools for technology transfer 1 (1), 134-152, 199729601997
2-) A Tutorial on UppaalG Behrmann, A David, KG LarsenFormal methods for the design of real-time systems, 200-236, 200422762004
3-) Bisimulation through probabilistic testingKG Larsen, A SkouInformation and computation 94 (1), 1-28, 199116081991
4-) UPPAAL—a tool suite for automatic verification of real-time systemsJ Bengtsson, K Larsen, F Larsson, P Pettersson, W YiHybrid Systems III: Verification and Control 3, 232-243, 199611771996
5-) A modal process logicKG Larsen, B ThomsenProceedings Third Annual Symposium on Logic in Computer Science, 203,204,205 …, 19886211988