Rule-Based Consistency Checking of Railway Infrastructure Designs.

Bjrnar Luteberget, Christian Johansen, Martin Steffen

Browse the full IFM paper archive.