Project Literature

This list is under construction.

• Scheduling and rescheduling of trains D. Bj]orner, C.W. George and S. Prehn. Chapter for a book on formal methods. Edited by J.P. Bowen and M. Hinchey. Prentice Hall.
• A Railway System: A UNU/IIST report No.93. D. Bj]orner, C.W. George, B.S. Hansen, H. Laustrup and S. Prehn. Spring 1997