A Categorical Metamodel for Reactive Kripke Frames
Article in International Journal of Advanced Statistics and IT&C for Economics and Life Sciences (December 2023)
The most recent citing publications are shown below. View all 10 publications that cite this research output on Dimensions.
Article in International Journal of Advanced Statistics and IT&C for Economics and Life Sciences (December 2023)
Monograph (January 2023)
Book chapter (January 2022)