Girish Bhat, Rance Cleaveland. Efficient Model Checking via the Equational µ-Calculus. In LICS. pages 304-312, 1996.
@inproceedings{BhatC96:0,
title = {Efficient Model Checking via the Equational µ-Calculus},
author = {Girish Bhat and Rance Cleaveland},
year = {1996},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BhatC96%3A0},
cites = {0},
citedby = {0},
pages = {304-312},
booktitle = {LICS},
}