Scheduling and Rescheduling of Trains |
| | Type | Book [Chapter] | | Editors | Michael G. Hinchey and Jonathan P. Bowen | | Year | 1999 pp. 157-184 | | Publisher | FACIT, Springer-Verlag | | Series | Industrial Strength Formal Methods in Practice | | Note | http://www.it.dtu.dk/~db/racosy/scheduling.ps | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|