MCMAS-X

swMATH2864MaRDI QIDQ15402FDOQ15402

Author name not available (Why is that?)

Described by source

• Unnamed Publication

Cited In (2)

• Automatic verification of temporal-epistemic properties of cryptographic protocols
• Title not available (Why is that?)

This page was built for software: MCMAS-X