LALBLC

swMATH9901MaRDI QIDQ21880FDOQ21880

Author name not available (Why is that?)

Official website: http://dept-info.labri.u-bordeaux.fr/~ges/LALBLC/ciaa13.pdf

Cited In (7)

• From security protocols to pushdown automata
• FAST
• Apte
• Equivalences of Pushdown Systems Are Hard
• FreeST
• LALBLC A Program Testing the Equivalence of dpda’s
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols

This page was built for software: LALBLC