Kolchin, A. V., Letichevskij, A. A., & Potienko, S. V. (2015). A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems.
Чикаго стиль цитування (17-те видання)Kolchin, A. V., A. A. Letichevskij, та S. V. Potienko. A Static Method for Elimination of Redundant Dependencies in Preconditions of Transitions of Formal Models of Transition Systems. 2015.
Стиль цитування MLA (8-ме видання)Kolchin, A. V., et al. A Static Method for Elimination of Redundant Dependencies in Preconditions of Transitions of Formal Models of Transition Systems. 2015.
Попередження: стилі цитування не завжди правильні на всі 100%.