Login | Register

Items where Author is "Wan, Wei"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 2.

Thesis

Wan, Wei (2014) Probabilistic and Epistemic Model Checking for Multi-Agent Systems. PhD thesis, Concordia University.

Wan, Wei (2008) Specifying and verifying communities of Web services using argumentative agents. Masters thesis, Concordia University.

This list was generated on Fri Nov 22 03:22:17 2019 EST.
Back to top Back to top