"Analysis of Relay Interlocking Systems via SMT-based Model Checking of ..."

Roberto Cavada et al. (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics