Girish Bhat, Rance Cleaveland, Orna Grumberg
Efficient On-the-Fly Model Checking for CTL*
LICS, 1995.
@inproceedings{LICS-1995-BhatCG,
author = "Girish Bhat and Rance Cleaveland and Orna Grumberg",
booktitle = "{Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.1995.523273",
isbn = "0-8186-7050-9",
pages = "388--397",
publisher = "{IEEE Computer Society}",
title = "{Efficient On-the-Fly Model Checking for CTL*}",
year = 1995,
}