An M-Net Semantics for a Real-Time Extension of µSDL.

Hans Fleischhack, Josef Tapken

Browse the full FM paper archive.