%0 Journal Article %1 journals/ipl/BerardH22 %A Bérard, Béatrice %A Haddad, Serge %D 2022 %J Inf. Process. Lett. %K dblp %P 106208 %T Revisiting reachability in Polynomial Interrupt Timed Automata. %U http://dblp.uni-trier.de/db/journals/ipl/ipl174.html#BerardH22 %V 174

@article{journals/ipl/BerardH22, added-at = {2021-12-15T00:00:00.000+0100}, author = {Bérard, Béatrice and Haddad, Serge}, biburl = {https://www.bibsonomy.org/bibtex/2efe6925477c76d53b6b9676d3acc05cd/dblp}, ee = {https://doi.org/10.1016/j.ipl.2021.106208}, interhash = {caf6eecf9fb2a76776b478a08ff6ce69}, intrahash = {efe6925477c76d53b6b9676d3acc05cd}, journal = {Inf. Process. Lett.}, keywords = {dblp}, pages = 106208, timestamp = {2024-04-08T12:09:45.000+0200}, title = {Revisiting reachability in Polynomial Interrupt Timed Automata.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl174.html#BerardH22}, volume = 174, year = 2022 }