A Dedicated Algorithm for Verification of Interlocking Systems.

Quentin Cappart, Pierre Schaus

Browse the full SAFECOMP paper archive.