@inproceedings{Blondin_2017,
    title = {Logics for continuous reachability in Petri nets and vector addition systems with states},
    url = {http://dx.doi.org/10.1109/LICS.2017.8005068},
    doi = {10.1109/lics.2017.8005068},
    booktitle = {2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
    publisher = {IEEE},
    author = {Blondin, Michael and Haase, Christoph},
    year = {2017},
    month = {jun},
    pages = {1–12},
    date-added = {2025-3-17 14:40:13 +0100}
}

@inproceedings{Blondin_2017, title = {Logics for continuous reachability in Petri nets and vector addition systems with states}, url = {http://dx.doi.org/10.1109/LICS.2017.8005068}, doi = {10.1109/lics.2017.8005068}, booktitle = {2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, publisher = {IEEE}, author = {Blondin, Michael and Haase, Christoph}, year = {2017}, month = {jun}, pages = {1–12}, date-added = {2025-3-17 14:40:13 +0100} }