Morten Ulrik Sørensen

Publication Activity (10 Years)

Years Active: 1994-1997
Publications (10 Years): 0

Publications

Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen
A Universal Reactive Machine. CONCUR (1997)
Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen
Combining Temporal Specification Techniques. ICTL (1994)