APA (7th ed.) Citation

Liakh, T., Rozov, A., Zyubin, V., Staroletov, S., Baar, T., Schulte, H., . . . Shilov, N. Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study. Polish Information Processing Society.

Chicago Style (17th ed.) Citation

Liakh, Tatiana, Andrei Rozov, Vladimir Zyubin, Sergey Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, and Nikolay Shilov. Modeling and Verification Using Different Notations for CPSs: The One-Water-Tank Case Study. Polish Information Processing Society.

MLA (9th ed.) Citation

Liakh, Tatiana, et al. Modeling and Verification Using Different Notations for CPSs: The One-Water-Tank Case Study. Polish Information Processing Society.