| |
| 2004 | ||
|---|---|---|
| 1 | Dines Bjørner, Peter Chiang, Morten S. T. Jacobsen, Jens Kielsgaard Hansen, Michael P. Madsen, Martin Penicka: Towards a formal model of CyberRail. IFIP Congress Topical Sessions 2004: 657-664 | |
| 1 | Dines Bjørner | [1] |
| 2 | Peter Chiang | [1] |
| 3 | Morten S. T. Jacobsen | [1] |
| 4 | Michael P. Madsen | [1] |
| 5 | Martin Penicka | [1] |