@incollection{Cyrluk_1994,
    doi = {10.1007/3-540-58179-0_59},
    url = {https://doi.org/10.1007%2F3-540-58179-0_59},
    year = {1994},
    publisher = {Springer Berlin Heidelberg},
    pages = {247--259},
    author = {David Cyrluk and Paliath Narendran},
    title = {Ground temporal logic: A logic for hardware verification},
    booktitle = {Computer Aided Verification}
}

@incollection{Cyrluk_1994, doi = {10.1007/3-540-58179-0_59}, url = {https://doi.org/10.1007%2F3-540-58179-0_59}, year = {1994}, publisher = {Springer Berlin Heidelberg}, pages = {247--259}, author = {David Cyrluk and Paliath Narendran}, title = {Ground temporal logic: A logic for hardware verification}, booktitle = {Computer Aided Verification} }