Robin Sharp

If you made any changes in Pure these will be visible here soon.

Filter

2013
Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows
Herbert, L. T. & Sharp, R., 2013, In: Journal of Computing and Information Science in Engineering. 13, 1, p. 011007 9 p.
Research output: Contribution to journal › Journal article › Research › peer-review
2003

An Approach to Analyzing Availability Properties of Security Protocols
Pilegaard, H., Hansen, M. R. & Sharp, R., 2003, In: Nordic Journal of Computing. 10, 4, p. 337-373
Research output: Contribution to journal › Journal article › Research › peer-review
1997
The T-Ruby Design System
Sharp, R. & Rasmussen, O. S., 1997, In: Formal Methods in System Design. 11, 3, p. 239-264
Research output: Contribution to journal › Journal article › Research › peer-review

Publications