On the Validation of an Interlocking System by Model-Checking.

Andrea Bonacchi, Alessandro Fantechi

Browse the full FMICS paper archive.