GRZYBOWSKI, M., MŁYŃCZAK, J., SOKOŁOWSKA, L., & MATOWICKI, M. (2026). MODELING OF RELAY-BASED RAILWAY INTERLOCKING SYSTEMS WITH TLA+. Transport Problems: an International Scientific Journal, 21(1), 203. https://doi.org/10.20858/tp.2026.21.1.16
Chicago Style (17th ed.) CitationGRZYBOWSKI, Michał, Jakub MŁYŃCZAK, Lucyna SOKOŁOWSKA, and Michał MATOWICKI. "MODELING OF RELAY-BASED RAILWAY INTERLOCKING SYSTEMS WITH TLA+." Transport Problems: An International Scientific Journal 21, no. 1 (2026): 203. https://doi.org/10.20858/tp.2026.21.1.16.
MLA (9th ed.) CitationGRZYBOWSKI, Michał, et al. "MODELING OF RELAY-BASED RAILWAY INTERLOCKING SYSTEMS WITH TLA+." Transport Problems: An International Scientific Journal, vol. 21, no. 1, 2026, p. 203, https://doi.org/10.20858/tp.2026.21.1.16.