Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism.

Ayman M. Wahba, Islam A. M. El-Maddah

Browse the full FDL paper archive.