@incollection{Gerth_1996,
    doi = {10.1007/978-0-387-34892-6_1},
    url = {https://doi.org/10.1007%2F978-0-387-34892-6_1},
    year = {1996},
    publisher = {Springer {US}},
    pages = {3--18},
    author = {R. Gerth and D. Peled and M. Y. Vardi and P. Wolper},
    title = {Simple On-the-fly Automatic Verification of Linear Temporal Logic},
    booktitle = {Protocol Specification, Testing and Verification {XV}}
}

@incollection{Gerth_1996, doi = {10.1007/978-0-387-34892-6_1}, url = {https://doi.org/10.1007%2F978-0-387-34892-6_1}, year = {1996}, publisher = {Springer {US}}, pages = {3--18}, author = {R. Gerth and D. Peled and M. Y. Vardi and P. Wolper}, title = {Simple On-the-fly Automatic Verification of Linear Temporal Logic}, booktitle = {Protocol Specification, Testing and Verification {XV}} }