Tree rules in probabilistic transition system specifications with negative and quantitative premises
| Title | Tree rules in probabilistic transition system specifications with negative and quantitative premises |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Lee, MD, Gebler, D, D'Argenio, PR |
| Journal | Electronic Proceedings in Theoretical Computer Science |
| Volume | 89 |
| Pagination | 115 - 130 |
| Date Published | 8/2012 |
| DOI | 10.4204/EPTCS.8910.4204/EPTCS.89.9 |
| Short Title | Electron. Proc. Theor. Comput. Sci.EPTCS |
Work Package:
WP1
