## Edmund M. Clarke

*Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem*

CAV, 1990.

@inproceedings{CAV-1990-Clarke, author = "Edmund M. Clarke", booktitle = "{Proceedings of the Second International Workshop on Computer Aided Verification}", doi = "10.1007/BFb0023713", isbn = "3-540-54477-1", pages = "1", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem}", volume = 531, year = 1990, }