Login / Signup

Coalition-proof payment plan in delegation of design verification in public works.

Mamoru YoshidaHirokazu Tatano
Published in: SMC (2008)
Keyphrases
  • formal verification
  • data sets
  • case study
  • multi agent
  • cooperative
  • model checking
  • computer aided