Satisfiability For Symbolic Verification in VRS / Letichevsky, A., Letichevskiy, A., Weigert, T., Peschanenko, V. (2013)
web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000308390 Control Systems and Computers Б - 2020 / Issue (2013, № 3)
Letichevsky A., Letichevskiy A., Weigert T., Peschanenko V. Satisfiability For Symbolic Verification in VRS
Cite: Letichevsky, A., Letichevskiy, A., Weigert, T., Peschanenko, V. (2013). Satisfiability For Symbolic Verification in VRS. Control Systems and Computers, 3, 81-87. http://jnas.nbuv.gov.ua/article/UJRN-0000308390 |
|
|