APA (7th ed.) Citation

Tomašov, P. Propositional model of Interlocking system.

Chicago Style (17th ed.) Citation

Tomašov, Pavol. Propositional Model of Interlocking System.

MLA (9th ed.) Citation

Tomašov, Pavol. Propositional Model of Interlocking System.

Warning: These citations may not always be 100% accurate.