Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination.

Christian Prehofer, Peter Scholz

Browse the full SPLC paper archive.