Characterizing the Behaviour of Reactive Systems by Trace Sets. SFB-Bericht 324/2/91, Technische Universität (1991)

by Manfred Broy, Frank Dederichs, Claus Dendorfer, Rainer Weber