@inbook{Luca_2022,
    title = {Algebraic Model Checking for Discrete Linear Dynamical Systems},
    isbn = {9783031158391},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-031-15839-1_1},
    doi = {10.1007/978-3-031-15839-1_1},
    booktitle = {Formal Modeling and Analysis of Timed Systems},
    publisher = {Springer International Publishing},
    author = {Luca, Florian and Ouaknine, Joël and Worrell, James},
    year = {2022},
    pages = {3–15},
    date-added = {2023-11-25 9:32:38 +0100}
}

@inbook{Luca_2022, title = {Algebraic Model Checking for Discrete Linear Dynamical Systems}, isbn = {9783031158391}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-031-15839-1_1}, doi = {10.1007/978-3-031-15839-1_1}, booktitle = {Formal Modeling and Analysis of Timed Systems}, publisher = {Springer International Publishing}, author = {Luca, Florian and Ouaknine, Joël and Worrell, James}, year = {2022}, pages = {3–15}, date-added = {2023-11-25 9:32:38 +0100} }