| 2004 | ||
|---|---|---|
| c1 | 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 | |
| 2 | Jens Kielsgaard Hansen | |
| 3 | Morten S. T. Jacobsen | |
| 4 | Michael P. Madsen | |
| 5 | Martin Penicka |
Data released under the ODC-BY 1.0 license — See also our legal information page