View of Development of Rabin’s Choice Coordination Algorithm in Event-B

Return to Article Details Development of Rabin’s Choice Coordination Algorithm in Event-B Download Download PDF