Henrik Ejersbo Jensen

	2002
4		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
3		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
2		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
1		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	[3] [4]
2	Bertrand Jeannet	[3] [4]
3	Kim Guldstrand Larsen	[2] [3] [4]
4	Nancy A. Lynch	[1]
5	Arne Skou	[2]

Colors in the list of coauthors