Skip to content

Semantics and verification of information-based protocols.

Munindar P. Singh

VenueAAAMAS
Year2012
ProceedingsAAMAS

Browse the full AAMAS paper archive.