LDYIS
From MaRDI portal
Software:14099
Author name not available (Why is that?)
Related Items (2)
Automatic verification of temporal-epistemic properties of cryptographic protocols ⋮ Non-axiomatizability for the linear temporal logic of knowledge with concrete observability
This page was built for software: LDYIS
