%0 Journal Article %1 journals/fuin/BerardHJL16 %A Bérard, Béatrice %A Haddad, Serge %A Jovanovic, Aleksandra %A Lime, Didier %D 2016 %J Fundam. Informaticae %K dblp %N 3-4 %P 235-259 %T Interrupt Timed Automata with Auxiliary Clocks and Parameters. %U http://dblp.uni-trier.de/db/journals/fuin/fuin143.html#BerardHJL16 %V 143

@article{journals/fuin/BerardHJL16, added-at = {2022-01-26T00:00:00.000+0100}, author = {Bérard, Béatrice and Haddad, Serge and Jovanovic, Aleksandra and Lime, Didier}, biburl = {https://www.bibsonomy.org/bibtex/2ddde88b141e8f00c3510a77538b8e40b/dblp}, ee = {https://doi.org/10.3233/FI-2016-1313}, interhash = {49558c9cbfb2d6f15f604e2290e545a7}, intrahash = {ddde88b141e8f00c3510a77538b8e40b}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {3-4}, pages = {235-259}, timestamp = {2024-04-08T10:04:07.000+0200}, title = {Interrupt Timed Automata with Auxiliary Clocks and Parameters.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin143.html#BerardHJL16}, volume = 143, year = 2016 }