Henrik Ejersbo Jensen

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2002
c4		Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen: Reduction and Refinement Strategies for Probabilistic Analysis. PAPM-PROBMIV 2002: 57-76
	2001
c3		Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen: Reachability Analysis of Probabilistic Systems by Successive Refinements. PAPM-PROBMIV 2001: 39-56
	2000
c2		Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou: Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. FTRTFT 2000: 19-30
	1998
c1		Henrik Ejersbo Jensen, Nancy A. Lynch: A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction. TACAS 1998: 409-423

Coauthor Index

1	Pedro R. D'Argenio	[c4] [c3]
2	Bertrand Jeannet	[c4] [c3]
3	Kim Guldstrand Larsen (Kim G. Larsen)	[c4] [c3] [c2]
4	Nancy A. Lynch	[c1]
5	Arne Skou	[c2]

Last update Thu May 23 07:22:56 2013 CET by the DBLP Team —

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