Generation of synchronizing state machines from a transition system: A region-based approach.

Published in: Int. J. Appl. Math. Comput. Sci. (2023)

Keyphrases