%0 Conference Paper %1 conf/formats/BruyerePSV23 %A Bruyère, Véronique %A Pérez, Guillermo A. %A Staquet, Gaëtan %A Vaandrager, Frits W. %B FORMATS %D 2023 %E Petrucci, Laure %E Sproston, Jeremy %I Springer %K dblp %P 33-49 %T Automata with Timers. %U http://dblp.uni-trier.de/db/conf/formats/formats2023.html#BruyerePSV23 %V 14138 %@ 978-3-031-42626-1

@inproceedings{conf/formats/BruyerePSV23, added-at = {2023-09-24T00:00:00.000+0200}, author = {Bruyère, Véronique and Pérez, Guillermo A. and Staquet, Gaëtan and Vaandrager, Frits W.}, biburl = {https://www.bibsonomy.org/bibtex/2c9389134fcf851b35ee27845174824d2/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2023}, editor = {Petrucci, Laure and Sproston, Jeremy}, ee = {https://doi.org/10.1007/978-3-031-42626-1_3}, interhash = {0a9fb81dfe4024d4b2bd85572168c4bf}, intrahash = {c9389134fcf851b35ee27845174824d2}, isbn = {978-3-031-42626-1}, keywords = {dblp}, pages = {33-49}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:40:03.000+0200}, title = {Automata with Timers.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2023.html#BruyerePSV23}, volume = 14138, year = 2023 }