%0 Journal Article
%A Teren, Viktor
%A Cortadella, Jordi
%A Villa, Tiziano
%T Generation of synchronizing state machines from a transition system: A region-based approach
%J International Journal of Applied Mathematics and Computer Science
%D 2023
%P 133-149
%V 33
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IJAMCS_2023_33_1_a10/
%G en
%F IJAMCS_2023_33_1_a10