Login | Register

Items where Author is "Wan, Wei"

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 Thu May 30 03:07:57 2024 EDT.
Back to top Back to top