Agents Modeling under Fairness Assumption in Event-B.

Irina Mocanu, Lorina Negreanu, Adina Magda Florea

Browse the full IDC paper archive.