[1]
Naujokaitis, D., Pranevicius, H., Pilkauskas, V., Pranevicius, O. and Pranevicius, M. 2017. Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia. Elektronika ir Elektrotechnika. 23, 6 (Feb. 2017), 10-18. DOI:https://doi.org/10.5755/j01.eie.23.6.17572.