- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 3 |      | Martin Penicka: Formal Approach to Railway Applications. Formal Methods and Hybrid Real-Time Systems 2007: 504-520 |
| 2004 | ||
| 2 |  | Martin Penicka, Dines Bjørner: From railway resource planning to train operation. IFIP Congress Topical Sessions 2004: 629-636 |
| 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] |
| 2 | Peter Chiang | [1] |
| 3 | Jens Kielsgaard Hansen | [1] |
| 4 | Morten S. T. Jacobsen | [1] |
| 5 | Michael P. Madsen | [1] |