Articles
| Title | DOI | Year | Month | type |
|---|---|---|---|---|
| A uniformization-based algorithm for continuous-time stochastic games model checking | 10.1016/j.tcs.2018.10.009 | 1397 | 10 | Journal |
| Title | DOI | Year | Month | type |
|---|---|---|---|---|
| A uniformization-based algorithm for continuous-time stochastic games model checking | 10.1016/j.tcs.2018.10.009 | 1397 | 10 | Journal |