Alessandro Fantechi, Stefania Gnesi, Gioia Ristori. Model Checking for Action-Based Logics. Formal Methods in System Design, 4(2):187-203, 1994.
@article{FantechiGR94,
title = {Model Checking for Action-Based Logics},
author = {Alessandro Fantechi and Stefania Gnesi and Gioia Ristori},
year = {1994},
tags = {rule-based, model checking, meta-model, logic, Meta-Environment},
researchr = {https://researchr.org/publication/FantechiGR94},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {4},
number = {2},
pages = {187-203},
}