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