| |
| 2006 | ||
|---|---|---|
| 5 | EE | Marieke Huisman, Pratik Worah, Kim Sunesen: A Temporal Logic Characterisation of Oservational Determinism. CSFW 2006: 3 |
| 2000 | ||
| 4 | EE | Peter Gorm Larsen, Paul Mukherjee, Kim Sunesen: Using VDMTools to Model and Validate the Cash Dispenser Example. Formal Asp. Comput. 12(4): 216-217 (2000) |
| 1996 | ||
| 3 | Kim Sunesen, Mogens Nielsen: Behavioural Equivalence for Infinite Systems - Partially Decidable! Application and Theory of Petri Nets 1996: 460-479 | |
| 2 | Nils Klarlund, Mogens Nielsen, Kim Sunesen: Automated Logical Verification Based on Trace Abstractions. PODC 1996: 101-110 | |
| 1994 | ||
| 1 | Nils Klarlund, Mogens Nielsen, Kim Sunesen: A Case Study in Verification Based on Trace Abstractions. Formal Systems Specification 1994: 341-373 | |
| 1 | Marieke Huisman | [5] |
| 2 | Nils Klarlund | [1] [2] |
| 3 | Peter Gorm Larsen | [4] |
| 4 | Paul Mukherjee | [4] |
| 5 | Mogens Nielsen | [1] [2] [3] |
| 6 | Pratik Worah | [5] |