TARNAI G, SÁGHI B. ERHÖHUNG DER BAHNSICHERHEIT DURCH FORMALE METHODEN. Period. Polytech. Transp. Eng. [Internet]. 1998 Jan. 1 [cited 2024 Jul. 22];26(1-2):175-86. Available from: https://pp.bme.hu/tr/article/view/6587