LALBLC

MaRDI QIDQ21880swMATHFDO

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

Cited in

(8)

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

This page was built for software: LALBLC