Gabor Kusper, Wolfgang Schreiner,
"Integrating temporal specifications as runtime assertions into parallel debugging tools"
, Serie RISC Report Series, Nummer 02-07, 2002, G. Kusper, W. Schreiner, and Lovas.
Integrating temporal specifications as runtime assertions into
parallel debugging tools.
Technical Report 02-07, RISC-Linz. (8 pages)
Original Titel:
Integrating temporal specifications as runtime assertions into parallel debugging tools
Sprache des Titels:
Englisch
Serie:
RISC Report Series
Number:
02-07
Erscheinungsjahr:
2002
Notiz zum Zitat:
G. Kusper, W. Schreiner, and Lovas.
Integrating temporal specifications as runtime assertions into
parallel debugging tools.
Technical Report 02-07, RISC-Linz. (8 pages)