Exploiting equivalence reduction and the sweep-line method for detecting terminal states - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund. Exploiting equivalence reduction and the sweep-line method for detecting terminal states. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 34(1):23-37, 2004. [doi]

The following publications are possibly variants of this publication:

Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line MethodThomas Mailund. apn 2002: 314-334 [doi]