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 Tue Sep 17 03:16:25 2019 EDT.
Back to top Back to top