@article{Kupferman:2000:AAB:333979.333987,
    Address = {New York, NY, USA},
    Author = {Kupferman, Orna and Vardi, Moshe Y. and Wolper, Pierre},
    File = {An automata-theoretic approach to branching-time model checking - Kupferman, Vardi, Wolper (2) (0) - a - a - w.pdf},
    ISSN = {0004-5411},
    Journal = {J. ACM},
    Keywords = {branching-time model checking},
    Month = {March},
    Number = {2},
    Pages = {312--360},
    Publisher = {ACM},
    Title = {An automata-theoretic approach to branching-time model checking},
    URL = {http://doi.acm.org/10.1145/333979.333987},
    Volume = {47},
    Year = {2000},
    acmid = {333987},
    bdsk-url-1 = {http://doi.acm.org/10.1145/333979.333987},
    bdsk-url-2 = {http://dx.doi.org/10.1145/333979.333987},
    date-added = {2013-07-22 16:24:14 +0000},
    date-modified = {2013-11-13 21:52:43 +0000},
    file-2 = {An automata-theoretic approach to branching-time model checking - Kupferman, Vardi, Wolper (0) (0) - a - a - w.pdf},
    file-3 = {An automata-theoretic approach to branching-time model checking - Kupferman, Vardi, Wolper (1) (0) - a - a - w.pdf},
    issue_date = {March 2000},
    numpages = {49},
    doi = {10.1145/333979.333987}
}

@article{Kupferman:2000:AAB:333979.333987, Address = {New York, NY, USA}, Author = {Kupferman, Orna and Vardi, Moshe Y. and Wolper, Pierre}, File = {An automata-theoretic approach to branching-time model checking - Kupferman, Vardi, Wolper (2) (0) - a - a - w.pdf}, ISSN = {0004-5411}, Journal = {J. ACM}, Keywords = {branching-time model checking}, Month = {March}, Number = {2}, Pages = {312--360}, Publisher = {ACM}, Title = {An automata-theoretic approach to branching-time model checking}, URL = {http://doi.acm.org/10.1145/333979.333987}, Volume = {47}, Year = {2000}, acmid = {333987}, bdsk-url-1 = {http://doi.acm.org/10.1145/333979.333987}, bdsk-url-2 = {http://dx.doi.org/10.1145/333979.333987}, date-added = {2013-07-22 16:24:14 +0000}, date-modified = {2013-11-13 21:52:43 +0000}, file-2 = {An automata-theoretic approach to branching-time model checking - Kupferman, Vardi, Wolper (0) (0) - a - a - w.pdf}, file-3 = {An automata-theoretic approach to branching-time model checking - Kupferman, Vardi, Wolper (1) (0) - a - a - w.pdf}, issue_date = {March 2000}, numpages = {49}, doi = {10.1145/333979.333987} }