Wolfgang Schreiner,
"Integrating Temporal Specifications as Runtime Assertions into Parallel Debugging Tools"
, Nummer 02-07, RISC-Linz, Johannes Kepler University, Linz, Austria, 3-2002, Gabor Kusper, Wolfgang Schreiner, Robert Lovas.
Integrating Temporal Specifications as Runtime Assertions into Parallel
Debugging Tools (Project Report).
Technical Report 02-07, RISC-Linz, Johannes Kepler University, Linz,
Austria, March 2002.
Original Titel:
Integrating Temporal Specifications as Runtime Assertions into Parallel Debugging Tools
Sprache des Titels:
Englisch
Veröffentlicher:
RISC-Linz
Verlagsanschrift:
Johannes Kepler University, Linz, Austria
Number:
02-07
Erscheinungsmonat:
3
Erscheinungsjahr:
2002
Notiz zum Zitat:
Gabor Kusper, Wolfgang Schreiner, Robert Lovas.
Integrating Temporal Specifications as Runtime Assertions into Parallel
Debugging Tools (Project Report).
Technical Report 02-07, RISC-Linz, Johannes Kepler University, Linz,
Austria, March 2002.
Forschungs-