@incollection{Dill_1990,
    doi = {10.1007/3-540-52148-8_17},
    url = {https://doi.org/10.1007%2F3-540-52148-8_17},
    year = {1990},
    publisher = {Springer Berlin Heidelberg},
    pages = {197--212},
    author = {David L. Dill},
    title = {Timing assumptions and verification of finite-state concurrent systems},
    date-added    = "2020-01-31 17:58:16 +0100",
    date-modified = "2020-01-31 18:01:16 +0100",
    ISBN          = "0387521488",
    booktitle = {Automatic Verification Methods for Finite State Systems}
}

@incollection{Dill_1990, doi = {10.1007/3-540-52148-8_17}, url = {https://doi.org/10.1007%2F3-540-52148-8_17}, year = {1990}, publisher = {Springer Berlin Heidelberg}, pages = {197--212}, author = {David L. Dill}, title = {Timing assumptions and verification of finite-state concurrent systems}, date-added = "2020-01-31 17:58:16 +0100", date-modified = "2020-01-31 18:01:16 +0100", ISBN = "0387521488", booktitle = {Automatic Verification Methods for Finite State Systems} }