InvA
From MaRDI portal
Software:22092
No author found.
Related Items (2)
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool ⋮ Generalized rewrite theories, coherence completion, and symbolic methods
This page was built for software: InvA
