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 Wed Jun 23 03:23:50 2021 EDT.
Back to top Back to top