Kolchin, A. V. (2013). A method for reduction of analyzed behavior space during verification of formal models of distributed software systems.
Чикаго стиль цитування (17-те видання)Kolchin, A. V. A Method for Reduction of Analyzed Behavior Space During Verification of Formal Models of Distributed Software Systems. 2013.
Стиль цитування MLA (8-ме видання)Kolchin, A. V. A Method for Reduction of Analyzed Behavior Space During Verification of Formal Models of Distributed Software Systems. 2013.
Попередження: стилі цитування не завжди правильні на всі 100%.