Saturated Kripke Structures as Vietoris Coalgebras

From MaRDI portal
Publication:6391247