Automated formal analysis of human multi-issue negotiation processes

More Info
expand_more