%0 Journal Article %1 journals/corr/abs-2302-04529 %A Goorden, Martijn A. %A Larsen, Kim G. %A Legay, Axel %A Lorber, Florian %A Nyman, Ulrik %A Wasowski, Andrzej %D 2023 %J CoRR %K dblp %T Timed I/O Automata: It is never too late to complete your timed specification theory. %U http://dblp.uni-trier.de/db/journals/corr/corr2302.html#abs-2302-04529 %V abs/2302.04529

@article{journals/corr/abs-2302-04529, added-at = {2024-05-07T00:00:00.000+0200}, author = {Goorden, Martijn A. and Larsen, Kim G. and Legay, Axel and Lorber, Florian and Nyman, Ulrik and Wasowski, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/2f2aa7afdef9d00a49c6aa5235c8b1d67/dblp}, ee = {https://doi.org/10.48550/arXiv.2302.04529}, interhash = {63afeff3037cd52ecd2b8b1e441176e8}, intrahash = {f2aa7afdef9d00a49c6aa5235c8b1d67}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-05-13T07:37:59.000+0200}, title = {Timed I/O Automata: It is never too late to complete your timed specification theory.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2302.html#abs-2302-04529}, volume = {abs/2302.04529}, year = 2023 }