State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems

DSpace/Manakin Repository

 
 
See more statistics about this item