Martin Penicka, Dines Bjørner. From railway resource planning to train operation. In René Jacquart, editor, Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August 2004, Toulouse, France. pages 629-636, Kluwer, 2004.
@inproceedings{PenickaB04, title = {From railway resource planning to train operation}, author = {Martin Penicka and Dines Bjørner}, year = {2004}, researchr = {https://researchr.org/publication/PenickaB04}, cites = {0}, citedby = {0}, pages = {629-636}, booktitle = {Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August 2004, Toulouse, France}, editor = {René Jacquart}, publisher = {Kluwer}, isbn = {1-4020-8156-1}, }