APA (7th ed.) Citation

(2014). Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool.

Chicago Style (17th ed.) Citation

Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool. 2014.

MLA (8th ed.) Citation

Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool. 2014.

Warning: These citations may not always be 100% accurate.