InvA

swMATH10124MaRDI QIDQ22092FDOQ22092

Author name not available (Why is that?)

Cited In (2)

• Generalized rewrite theories, coherence completion, and symbolic methods
• Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool

This page was built for software: InvA