Peter Luksch: Publications

Default OrderingSorted by DateClassified by Publication Type

Software Verification of Real-Time Requirements for HPC

Hilmar Buchholz, AndrĂ© Landsmann, Peter Luksch, and Elke Tetzner. Software Verification of Real-Time Requirements for HPC. In HPC Asia & APAN 2009, pp. 440–447, March 2009.

Download

[HTML] 

Abstract

(unavailable)

BibTeX

@InProceedings{HPCAsia09,
  author = 	 {Hilmar Buchholz and André Landsmann and Peter Luksch and Elke Tetzner},
  title = 	 {Software Verification of Real-Time Requirements for {HPC}},
  booktitle = 	 {HPC Asia \& APAN 2009},
  pages =	 {440--447},
  year =	 2009,
  month =	 mar,
  url =		 {\url{http://www.nchc.org.tw/event/2009/hpcasia//program/download.php?CONTENT_ID=9&FILE_ID=58}},
  isbn =	 {978-986-85228-0-0},
  bib2html_pubtype = {Refereed Conference},
}

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