Benoît Barbot, Nicolas Basset, Alexandre Donzé. Wordgen : a Timed word Generation Tool. In Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023. ACM, 2023. [doi]
@inproceedings{BarbotBD23,
title = {Wordgen : a Timed word Generation Tool},
author = {Benoît Barbot and Nicolas Basset and Alexandre Donzé},
year = {2023},
doi = {10.1145/3575870.3587116},
url = {https://doi.org/10.1145/3575870.3587116},
researchr = {https://researchr.org/publication/BarbotBD23},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023},
publisher = {ACM},
}