Peter Luksch: Publications

Default OrderingSorted by DateClassified by Publication Type

Verfikation zeitkritischer Eigenschaften paralleler Programm

Hilmar Buchholz, André Landsmann, Peter Luksch, and Elke Tetzner. Verfikation zeitkritischer Eigenschaften paralleler Programm. Rostocker Informatik-Berichte 31, Universität Rostock, Fakultät für Informatik und Elektrotechnik, Institut für Informatik, 2007.

Download

(unavailable)

Abstract

(unavailable)

BibTeX

@TechReport{rib31,
  author       = {Buchholz, Hilmar and Landsmann, André and Luksch, Peter and Tetzner, Elke},
  title        = {Verfikation zeitkritischer Eigenschaften paralleler Programm},
  institution  = {Universität Rostock, Fakultät für Informatik und Elektrotechnik, Institut für Informatik},
  year 	       = 2007,
  type	       = {Rostocker Informatik-Berichte},
  number       = 31,
  bib2html_pubtype = {Technical Report},
}

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