Behaviour-Preserving Transition Insertions in Unfolding Prefixes Victor Khomenko University of Newcastle upon Tyne.
A New Type of Behaviour- Preserving Transition Insertions in Unfolding Prefixes Victor Khomenko.