Skip to main content
شیرین بقولی زاده
دانشکده مهندسی برق و کامپیوتر
en
A uniformization-based algorithm for continuous-time stochastic games model checking
Date : 1397-10-15
doi
10.1016/j.tcs.2018.10.009
Article type
Journal
https://people.iut.ac.ir/en/content/120936
تحت نظارت وف ایرانی