JKU Linz  
 
 


Publikationsdetails

Zitat: Wolfgang Schreiner, Robert Lovas, Gabor Kusper, "Integrating Temporal Specifications as Runtime Assertions into Parallel Debugging Tools" , 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
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.
Publikationstyp: Forschungsbericht: geförderte Forschung (Bund/Land/Gemeinden)
Autoren: Wolfgang Schreiner, Robert Lovas, Gabor Kusper
Forschungseinheiten: Institut für Symbolisches Rechnen
fodok.jku.at Zum Seitenanfang

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum