Apte
From MaRDI portal
Software:32422
swMATH20604MaRDI QIDQ32422FDOQ32422
Author name not available (Why is that?)
Cited In (5)
- Title not available (Why is that?)
- On Communication Models When Verifying Equivalence Properties
- A procedure for deciding symbolic equivalence between sets of constraint systems
- A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
- Title not available (Why is that?)
This page was built for software: Apte
