Paper Accepted at RSSRail’17

The paper “Deductive Verification of Railway Operations” by Eduard Kamburjan and Reiner Hähnle was accepted by the International Conference Reliability, Safety and Security of Railway Systems and will be presented in November in Pistoia, Italy.