Kim Sunesen

	2006
5		Marieke Huisman, Pratik Worah, Kim Sunesen: A Temporal Logic Characterisation of Oservational Determinism. CSFW 2006: 3
	2000
4		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

Coauthor Index

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]

Colors in the list of coauthors