APA (7th ed.) Citation

Letichevsky, A., Letichevskiy, A., Weigert, T., & Peschanenko, V. (2013). Satisfiability For Symbolic Verification in VRS.

Chicago Style (17th ed.) Citation

Letichevsky, A., A. Letichevskiy, T. Weigert, and V. Peschanenko. Satisfiability For Symbolic Verification in VRS. 2013.

MLA (8th ed.) Citation

Letichevsky, A., et al. Satisfiability For Symbolic Verification in VRS. 2013.

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