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

This list was generated on Sun May 28 15:54:55 2017 AEST.