A New Type of Behaviour- Preserving Transition Insertions in Unfolding Prefixes Victor Khomenko.
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes