A New Method for Converting Trace Theoretic Specifications to Signal Transition Graphs

Christopher J. Coomber, Peter Horan. A New Method for Converting Trace Theoretic Specifications to Signal Transition Graphs. Australian Computer Journal, 27(2):62-70, 1995.

Abstract

Abstract is missing.