![]() |
| 1997 | ||
|---|---|---|
| 2 | Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen: A Universal Reactive Machine. CONCUR 1997: 89-103 | |
| 1994 | ||
| 1 | Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen: Combining Temporal Specification Techniques. ICTL 1994: 1-16 | |
| 1 | Henrik Reif Andersen | [2] |
| 2 | Odd Erik Hansen | [1] |
| 3 | Hans Henrik Løvengreen | [1] |
| 4 | Simon Mørk | [2] |