|
Search the dblp DataBase
Henrik Ejersbo Jensen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. [Citation Graph (0, 0)][DBLP] FTRTFT, 2000, pp:19-30 [Conf]
- Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
Reachability Analysis of Probabilistic Systems by Successive Refinements. [Citation Graph (0, 0)][DBLP] PAPM-PROBMIV, 2001, pp:39-56 [Conf]
- Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
Reduction and Refinement Strategies for Probabilistic Analysis. [Citation Graph (0, 0)][DBLP] PAPM-PROBMIV, 2002, pp:57-76 [Conf]
- Henrik Ejersbo Jensen, Nancy A. Lynch
A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction. [Citation Graph (0, 0)][DBLP] TACAS, 1998, pp:409-423 [Conf]
Search in 0.001secs, Finished in 0.001secs
|