Effiziente Abbildung von SDL-Spezifikationen auf Activity-Threads mittels Transition Reordering

Peter Langendörfer, Hartmut König. Effiziente Abbildung von SDL-Spezifikationen auf Activity-Threads mittels Transition Reordering. Praxis der Informationsverarbeitung und Kommunikation, 22(4):197-203, 1999. [doi]

Abstract

Abstract is missing.