Boulanger, J. (2014, June 26). B‐RAIL: UML to B Transformation in Modeling a Level Crossing. Formal Methods Applied to Complex Systems: Implementation of the B Method, 299-348. https://doi.org/10.1002/9781119002727.ch11
Citácia podle Chicago (17th ed.)Boulanger, Jean‐Louis. "B‐RAIL: UML to B Transformation in Modeling a Level Crossing." Formal Methods Applied to Complex Systems: Implementation of the B Method 26 Jun. 2014: 299-348. https://doi.org/10.1002/9781119002727.ch11.
Citácia podľa MLA (8th ed.)Boulanger, Jean‐Louis. "B‐RAIL: UML to B Transformation in Modeling a Level Crossing." Formal Methods Applied to Complex Systems: Implementation of the B Method, 26 Jun. 2014, pp. 299-348, https://doi.org/10.1002/9781119002727.ch11.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..