A System-Level Approach for Model-Based Verification of Distributed Software Systems.

Seyedehmehrnaz Mireslami, Behrouz H. Far

Browse the full SMC paper archive.