Mogens Nielsen (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

42 Kim Sunesen, Mogens Nielsen: Behavioural Equivalence for Infinite Systems - Partially Decidable! Application and Theory of Petri Nets 1996: 460-479

40 Nils Klarlund, Mogens Nielsen, Kim Sunesen: Automated Logical Verification Based on Trace Abstractions. PODC 1996: 101-110

28 Nils Klarlund, Mogens Nielsen, Kim Sunesen: A Case Study in Verification Based on Trace Abstractions. Formal Systems Specification 1994: 341-373

Selection of 3 from 82 records - Mogens Nielsen has 54 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

42		Kim Sunesen, Mogens Nielsen: Behavioural Equivalence for Infinite Systems - Partially Decidable! Application and Theory of Petri Nets 1996: 460-479
40		Nils Klarlund, Mogens Nielsen, Kim Sunesen: Automated Logical Verification Based on Trace Abstractions. PODC 1996: 101-110
28		Nils Klarlund, Mogens Nielsen, Kim Sunesen: A Case Study in Verification Based on Trace Abstractions. Formal Systems Specification 1994: 341-373