Thesis ยท 2009Testing and monitoring multi-agent systems for deadlock detection based on UML modelsNariman ManiPublication detailsInstitutionUniversity of CalgaryLocation / yearCalgary, AB, Canada, 2009DOI10.11575/PRISM/2700View the original publication recordVerify bibliographic metadata