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] |