Erling Vagn Sørensen

Publication Activity (10 Years)

Years Active: 1993-1993
Publications (10 Years): 0

Publications

Zhiming Liu, Jens Nordahl, Erling Vagn Sørensen
Composition and Refinement of Probabilistic Real-Time Systems. SAFECOMP (1993)
Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen
From CSP Models to Markov Models. IEEE Trans. Software Eng. 19 (6) (1993)