RISC RISC Research Institute for Symbolic Computation  
  • @inproceedings{RISC3277,
    author = {Gabor Kusper},
    title = {{Integrating Temporal Assertions into a Parallel Debugger}},
    booktitle = {{Proceedings of the 8th International Euro-Par Conference}},
    language = {english},
    pages = {113--120},
    publisher = {Springer-Verlag},
    address = {Paderborn, Germany},
    isbn_issn = {ISBN:3-540-44049-6},
    year = {2002},
    editor = {B. Monien and R. Feldmann},
    refereed = {yes},
    length = {8}
    }