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

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

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209