Iliano Cervesato, Massimo Franceschet, Angelo Montanari. The Complexity of Model Checking in Modal Event Calculi with Quantifiers. In KR. pages 368-379, 1998.
@inproceedings{CervesatoFM98:0,
title = {The Complexity of Model Checking in Modal Event Calculi with Quantifiers},
author = {Iliano Cervesato and Massimo Franceschet and Angelo Montanari},
year = {1998},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/CervesatoFM98%3A0},
cites = {0},
citedby = {0},
pages = {368-379},
booktitle = {KR},
}