2015

Agnieszka Zbrzezny, Andrzej Zbrzezny (2015). "Checking RTECTL properties of STSs via SMT-based Bounded Model Checking", International Journal of Interactive Multimedia and Artificial Intelligence, vol. 3, issue Regular Issue, no. 5, pp. 28-35. https://doi.org/10.9781/ijimai.2015.354