APA (7th ed.) Citation

Kolchin, A. (2015). Optimization of checking the feasibility of transitions when verifying formal models. PROBLEMS IN PROGRAMMING.

Chicago Style (17th ed.) Citation

Kolchin, A.V. Optimization of Checking the Feasibility of Transitions When Verifying Formal Models. PROBLEMS IN PROGRAMMING, 2015.

MLA (8th ed.) Citation

Kolchin, A.V. Optimization of Checking the Feasibility of Transitions When Verifying Formal Models. PROBLEMS IN PROGRAMMING, 2015.

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