Large scale construction of railroad models from specifications.

Anders Moen Hagalisletto, Ingrid Chieh Yu

Browse the full SMC paper archive.