Browse By Publication: Applying Formal Methods: Testing, Performance, and M/E-Commerce

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Volume | Authors/Creators
Number of items: 1.

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.
Number of citations in Scopus 5
Number of citations in Web of ScienceĀ® 2

This list was generated on Sun Jul 23 12:21:14 2017 AEST.