@incollection{Chang_1992,
    doi = {10.1007/3-540-55719-9_97},
    url = {https://doi.org/10.1007%2F3-540-55719-9_97},
    year = {1992},
    publisher = {Springer Berlin Heidelberg},
    pages = {474--486},
    author = {Edward Chang and Zohar Manna and Amir Pnueli},
    title = {Characterization of temporal property classes},
    booktitle = {Automata, Languages and Programming}
}

@incollection{Chang_1992, doi = {10.1007/3-540-55719-9_97}, url = {https://doi.org/10.1007%2F3-540-55719-9_97}, year = {1992}, publisher = {Springer Berlin Heidelberg}, pages = {474--486}, author = {Edward Chang and Zohar Manna and Amir Pnueli}, title = {Characterization of temporal property classes}, booktitle = {Automata, Languages and Programming} }