A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes
2010 ◽
pp. 75-90
◽
Keyword(s):
1986 ◽
Vol 44
◽
pp. 632-633
◽
1994 ◽
Vol 52
◽
pp. 900-901
Keyword(s):