Pages that link to "Item:Q5403085"

The following pages link to Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool (Q5403085):

Displayed 1 item.

• Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) ‎ (← links)