@inproceedings{6280420,
    Author = {Platzer, Andr{\'e}},
    BookTitle = {2012 27th Annual IEEE Symposium on Logic in Computer Science},
    File = {Logics of Dynamical Systems - lds-lics.pdf},
    Pages = {13-24},
    Title = {Logics of Dynamical Systems},
    Year = {2012},
    bdsk-url-1 = {https://doi.org/10.1109/LICS.2012.13},
    date-added = {2023-09-01 08:13:38 +0200},
    date-modified = {2023-09-01 08:13:38 +0200},
    doi = {10.1109/LICS.2012.13}
}

@inproceedings{6280420, Author = {Platzer, Andr{\'e}}, BookTitle = {2012 27th Annual IEEE Symposium on Logic in Computer Science}, File = {Logics of Dynamical Systems - lds-lics.pdf}, Pages = {13-24}, Title = {Logics of Dynamical Systems}, Year = {2012}, bdsk-url-1 = {https://doi.org/10.1109/LICS.2012.13}, date-added = {2023-09-01 08:13:38 +0200}, date-modified = {2023-09-01 08:13:38 +0200}, doi = {10.1109/LICS.2012.13} }