Ouaknine, Joël Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;
978-3-031-15839-1_1.pdf (Verlagsversion), 294KB
Luca, F., Ouaknine, J., & Worrell, J. (2022). Algebraic Model Checking for Discrete Linear Dynamical Systems. In S. Bogomolov, & D. Parker (Eds.), Formal Modeling and Analysis of Timed Systems (pp. 3-15). Berlin: Springer. doi:10.1007/978-3-031-15839-1_1.
