All Stories

  1. Model checking multi-agent systems

    Article • Fundamenta Informaticae, April 2017, IOS Press

    Mohamed El Menshawy, Jamal Bentahar