{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:27:56Z","timestamp":1725506876373},"publisher-location":"Boston, MA","reference-count":5,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8157-6_61","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T16:54:40Z","timestamp":1207587280000},"page":"629-636","source":"Crossref","is-referenced-by-count":0,"title":["From Railway Resource Planning to Train Operation"],"prefix":"10.1007","author":[{"given":"Martin","family":"Penicka","sequence":"first","affiliation":[]},{"given":"Dines","family":"Bj\u00f8rner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"61_CR1","unstructured":"Dines Bjorner. Dynamics of Railway Nets: On an Interface between Automatic Control and Software Engineering. In CTS2003: 10th IFAC Symposium on Control in Transportation Systems, Oxford, UK, August 4\u20136 2003. Elsevier Science Ltd. Symposium held at Tokyo, Japan. Editors: S. Tsugawa and M. Aoki."},{"key":"61_CR2","unstructured":"Dines Bjfirner, Jakob Braad, and Karin S. Mogensen (Eds.). Models of Railway Systems: Domain. In Thierry Lecomte and Peter Gorm Larsen, editors, FMERail Workshop #5, volume # 5 of FME Rail Workshop; Toulouse, France. FME: Formal Methods Europe, Steria, France, September 22\u201324 1999. (60 pages) Dept. of IT, Techn. Univ. of Denmark."},{"key":"61_CR3","unstructured":"Dines Bjorner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, and Martin Penicka. \u201cUML\u201d-ising Formal Techniques. In INT2004: Third International Workshop on Integration of Specification Techniques for Applications in Engineering. Institut fur Softwaretechnik und Theoretische Informatik, Sekr. FR 6-1, Techn.Univ. of Berlin, Franklinstrasse 28\/29, D-10587 Berlin, Germany, 28 March 2004, ETAPS, Barcelona, Spain. To be published in INT-2004 Proceedings, Springer-Verlag."},{"key":"61_CR4","unstructured":"Martin Penicka, Albena Kirilova Strupchanska, and Dines Bjorner. Train Maintenance Routing. In FORMS\u20192003: Symposium on Formal Methods for Railway Operation and Control Systems. L\u2019Harmattan Hongrie, 15\u201316 May 2003. Conf. held at Techn.Univ. of Budapest, Hungary. Editors: G. Tarnai and E. Schnieder, Germany."},{"key":"61_CR5","unstructured":"Albena Kirilova Strupchanska, Martin Penicka, and Dines Bjorner. Railway Staff Rostering. In FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems. L\u2019Harmattan Hongrie, 15\u201316 May 2003. Conf. held at Techn.Univ. of Budapest, Hungary. Editors: G. Tarnai and E. Schnieder, Germany."}],"container-title":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T05:08:29Z","timestamp":1619672909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402081569","9781402081576"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_61","relation":{},"subject":[]}}