Items where Author is "Ding, Jie"

Up a level

Group by: Creators | Item Type | Date | No Grouping

Jump to: 2012

Number of items: 1.

2012

Tribastone, Mirco and Ding, Jie and Gilmore, Stephen and Hillston, Jane Fluid rewards for a stochastic process algebra. IEEE Transactions on Software Engineering, 38 (4). pp. 861-874. ISSN 0098-5589 (2012)

This list was generated on Wed Dec 18 10:07:22 2024 CET.

IMT Institutional Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.