Verifying Multi-agent Programs by Model Checking

   page       BibTeX_logo.png       attach   
Cover Card
cover of the publication
pub-cover.jpg