Saturated Kripke Structures as Vietoris Coalgebras
Book chapter (July 2022)
The most recent citing publications are shown below. View all 30 publications that cite this research output on Dimensions.
Book chapter (July 2022)
Article in Soft Computing (August 2021)
Book chapter (March 2021)