Mikyška, J., & Polívka, O. (2016). Energy inequalities in compositional simulation. Proceedings Of The Conference Algoritmy, , 224-233. Retrieved from http://www.iam.fmph.uniba.sk/amuc/ojs/index.php/algoritmy/article/view/411