BibTeX Export

@inproceedings{Authenticus:P-019-J8E,
	title = {{Automata for Synchronised Shuffle on Backbones}},
	author = {S Broda and A Machiavelo and N Moreira and R Reis},
	booktitle = {Descriptional Complexity of Formal Systems, Dcfs 2025},
	doi = {10.1007/978-3-031-97100-6_5},
	pages = {64-78},
	publisher = {Springer International Publishing Ag},
	type = {Proceedings Paper},
	volume = {15759},
	year = {2025}
}