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] |