NAUJOKAITIS, D.; PRANEVICIUS, H.; PILKAUSKAS, V.; PRANEVICIUS, O.; PRANEVICIUS, M. Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia. Elektronika ir Elektrotechnika, [S. l.], v. 23, n. 6, p. 10-18, 2017. DOI: 10.5755/j01.eie.23.6.17572. Disponível em: https://eejournal.ktu.lt/index.php/elt/article/view/17572. Acesso em: 19 apr. 2024.