Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ATAL
2008
Springer

favoriteEmaildiscussreport

104views Intelligent Agents» more ATAL 2008»

Abstractions for model-checking game-theoretic properties of auctions

14 years 27 days ago

Abstractions for model-checking game-theoretic properties of auctions

Download www.csd.abdn.ac.uk

Emmanuel M. Tadjouddine, Frank Guerin, Wamberto We

Real-time Traffic

ATAL 2008 | Intelligent Agents |

claim paper

Related Content

» Abstracting and Verifying StrategyProofness for Auction Mechanisms

» Automated Translation and Analysis of a ToolBus Script for Auctions

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	ATAL
Authors	Emmanuel M. Tadjouddine, Frank Guerin, Wamberto Weber Vasconcelos

Comments (0)