Formal Verification of a Distributed Algorithm for Task Execution.

Amar Nath, Rajdeep Niyogi

Browse the full ICCSA paper archive.