Core    to    Smv

Leader's Election Elect a leader from several candidates.

Description (*.doc) (*.ps) Core program Smv program Log file All files (zip)