@article{Clarke1994, author = "Edmund M Clarke and O Grumberg and K Hamaguchi", title = "{Another Look at LTL Model Checking}", year = "1994", month = "1", url = "https://kilthub.cmu.edu/articles/journal_contribution/Another_Look_at_LTL_Model_Checking/6603527", doi = "10.1184/R1/6603527.v1" }