Dennis Dams, Orna Grumberg, Rob Gerth
Generation of Reduced Models for Checking Fragments of CTL
CAV, 1993.
@inproceedings{CAV-1993-DamsGG,
author = "Dennis Dams and Orna Grumberg and Rob Gerth",
booktitle = "{Proceedings of the Fifth International Conference on Computer Aided Verification}",
doi = "10.1007/3-540-56922-7_39",
isbn = "3-540-56922-7",
pages = "479--490",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Generation of Reduced Models for Checking Fragments of CTL}",
volume = 697,
year = 1993,
}