APA (7th ed.) Citation

Ausberger, T., Kubicek, K., & Medvedcova, P. Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams. IEEE.

Chicago Style (17th ed.) Citation

Ausberger, Tomas, Karel Kubicek, and Pavla Medvedcova. Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams. IEEE.

MLA (9th ed.) Citation

Ausberger, Tomas, et al. Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams. IEEE.