@incollection{BernholtzVardiWolper:1994,
    Author = {Bernholtz, Orna and Vardi, Moshe Y. and Wolper, Pierre},
    BookTitle = {Computer Aided Verification},
    Editor = {Dill, DavidL.},
    ISBN = {978-3-540-58179-6},
    Language = {English},
    Pages = {142-155},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {An automata-theoretic approach to branching-time model checking (Extended abstract)},
    URL = {http://dx.doi.org/10.1007/3-540-58179-0\_50},
    Volume = {818},
    Year = {1994},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-58179-0\_50},
    date-added = {2014-08-19 08:06:50 +0000},
    date-modified = {2014-08-19 08:06:50 +0000},
    doi = {10.1007/3-540-58179-0_50}
}

@incollection{BernholtzVardiWolper:1994, Author = {Bernholtz, Orna and Vardi, Moshe Y. and Wolper, Pierre}, BookTitle = {Computer Aided Verification}, Editor = {Dill, DavidL.}, ISBN = {978-3-540-58179-6}, Language = {English}, Pages = {142-155}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {An automata-theoretic approach to branching-time model checking (Extended abstract)}, URL = {http://dx.doi.org/10.1007/3-540-58179-0_50}, Volume = {818}, Year = {1994}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-58179-0_50}, date-added = {2014-08-19 08:06:50 +0000}, date-modified = {2014-08-19 08:06:50 +0000}, doi = {10.1007/3-540-58179-0_50} }