Peter Luksch: Publications

Default OrderingSorted by DateClassified by Publication Type

Verification in High-Performance and Distributed Computing with Hybrid Systems for Symbolic Simulation

Hilmar Buchholz, André Landsmann, Peter Luksch, Günter Riedewald, and Elke Tetzner. Verification in High-Performance and Distributed Computing with Hybrid Systems for Symbolic Simulation. Rostocker Informatik-Berichte Universität Rostock, Fakultät für Informatik und Elektrotechnik, Institut für Informatik, 2006.

Download

(unavailable)

Abstract

(unavailable)

BibTeX

@TechReport{RIB2006,
  author       = {Hilmar Buchholz and André Landsmann and Peter Luksch and Günter Riedewald and Elke Tetzner},
  title        = {Verification in {H}igh-{P}erformance and {D}istributed {C}omputing with {H}ybrid {S}ystems for {S}ymbolic {S}imulation},
  institution  = {Universität Rostock, Fakultät für Informatik und Elektrotechnik, Institut für Informatik},
  year 	       = 2006,
  type	       = {Rostocker Informatik-Berichte},
  issn	       = {0944-5900},
  bib2html_pubtype = {Technical Report},
}

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