Peter Luksch: Publications

Default OrderingSorted by DateClassified by Publication Type

Verifikation zeitkritischer Eigenschaften paralleler Programme

H. Buchholz, A. Landsmann, P. Luksch, and E. Tetzner. Verifikation zeitkritischer Eigenschaften paralleler Programme. In 21. PARS-Workshop, GI/ITG-Fachgruppe 'Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS), Gesellschaft für Informatik e.V., December 2007.

Download

(unavailable)

Abstract

(unavailable)

BibTeX

@InProceedings{PARS07,
  author = 	 {H. Buchholz and A. Landsmann and P. Luksch and E. Tetzner},
  title = 	 {Verifikation zeitkritischer {E}igenschaften paralleler {P}rogramme},
  booktitle = 	 {21. PARS-Workshop, GI/ITG-Fachgruppe 'Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS)},
  year =	 2007,
  number       = 24,
  month	       = dec,
  publisher =	 {Gesellschaft für Informatik e.V.},
  issn	       = {0177-0454},
  bib2html_pubtype = {Refereed Conference},
}

Generated by bib2html.pl (written by Patrick Riley ) on Fri Aug 01, 2014 11:24:42