Formal Modeling, Verification, and Analysis of a Distributed Task Execution Algorithm.

Amar Nath, Rajdeep Niyogi

Browse the full AINA paper archive.