%0 Journal Article
%K RTECTL
%K STS
%K SMT
%B International Journal of Interactive Multimedia and Artificial Intelligence
%D 2015
%N Regular Issue
%P 28-35
%R 10.9781/ijimai.2015.354
%T Checking RTECTL properties of STSs via SMT-based Bounded Model Checking
%U http://www.ijimai.org/journal/sites/default/files/files/2015/11/ijimai20153_5_4_pdf_87485.pdf
%V 3
%8 12/2015