APA (7th ed.) Citation

Kolchin, A. V. (2013). A method for reduction of analyzed behavior space during verification of formal models of distributed software systems.

Chicago Style (17th ed.) Citation

Kolchin, A. V. A Method for Reduction of Analyzed Behavior Space During Verification of Formal Models of Distributed Software Systems. 2013.

MLA (8th ed.) Citation

Kolchin, A. V. A Method for Reduction of Analyzed Behavior Space During Verification of Formal Models of Distributed Software Systems. 2013.

Warning: These citations may not always be 100% accurate.