
%
%  $Description: Bibliography for Diploma Thesis$
%
%  $Author: someone at ITI $
%  $Date: 2001/01/13:19:53 $
%  $Revision: 1.0 $
%

@string{iti={Institute for Technical Informatics}}
@string{tug={Graz University of Technology}}
@string{ititug=iti#{, }#tug}
@string{dummy={Letzte Zeile fuer Header}}

@mastersthesis{mseifter88,
  key      ={Seifter},
  author   ={Peter Ewald Seifter},
  title    ={{Interaktives Grafiksystem zur Erstellung und Simulation hydraulischer Schaltungen}},
  year     ={1988},
  school   =ititug,
  supervisor={Brenner},
  keywords ={DA1}
}

@phdthesis{pmandl97,
  key      ={Mandl},
  author   ={Christian Mandl},
  title    ={{Real-Time Searching Coprocessor Architectures}},
  year     ={1997},
  school   =tug,
  url      = {ftp://www.iti.tu-graz.ac.at/pub/publications/pmandl97_ab.txt},
  keywords ={DISS16}
}

@inproceedings{weiss92,
  key      ={Weiss},
  author   ={Reinhold Weiss and Eugen Brenner},
  title    ={{Ein verteiltes Echtzeit--Expertensystem auf
Transputerbasis}},
  booktitle={Comett Seminar: Industrielle Anwendungen paralleler
Computersysteme},
  year     ={1992},
  address  ={Graz, Austria},
  pages    ={3-9}
}

@manual{weiss92a,
  key      ={Weiss},
  author   ={Reinhold Weiss},
  title    ={{Verteilte Echtzeitsysteme}},
  organization={Automatisierungstechnisches Kolloquium der FESTO Akademie},
  address  ={Stuttgart, Germany},
  year     ={1992},
  month    =mar
}

@techreport{ginthoer93,
  key      ={Ginth{\"o}r},
  author   ={Robert Ginth{\"o}r and Marco Platzner and Reinhold Weiss},
  title    ={{Interprocessor Communication in Distributed Transputer
Systems}},
  institution={IIG--Report--Series},
  number   ={355},
  year     ={1993},
  month    =feb
}

@Article{Voas97,
   author =   "Voas, Jeffrey",
   title =   "A Defensive Approach to Certifying COTS Software",
   journal =   "RSTR-002-97-002.01, Reliable Software Technologies Corporation",
   month = "August",
   year =   "1997"
}


@book{Kui94,
  key      ={Kuipers},
  title    ={{Qualitative Reasoning: Modeling and Simulation with
Incomplete Knowledge}},
  author   ={Benjamin Kuipers},
  year     ={1994},
  publisher={MIT Press},
  series   ={Artificial Intelligence},
  keywords ={QSIM}
}

