Browse By Person: Billington, Jonathan
 | Up a level |
Group by: Item Type | Date
Jump to: Journal Article | Conference Paper
Number of items: 2.
Journal Article
Ouyang, Chun & Billington, Jonathan (2004) Formal Analysis of the Internet Open Trading Protocol. Applying Formal Methods: Testing, Performance, and M/E-Commerce, 3236, pp. 1-15.
2
2Conference Paper
Ouyang, Chun, Kristensen, Lars Michael, & Billington, Jonathan (2002) A Formal Service Specification for the Internet Open Trading Protocol. In 23rd International Conference on Applications and Theory of Petri Nets, Springer, pp. 77-108.
3
3