dblp.uni-trier.dewww.uni-trier.de

Kim Sunesen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

1Marieke Huisman [5]
2Nils Klarlund [1] [2]
3Peter Gorm Larsen [4]
4Paul Mukherjee [4]
5Mogens Nielsen [1] [2] [3]
6Pratik Worah [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)