Peter_Lucas_generatedBib.bib

@inproceedings{Aichernig1999c,
  author = {Bernhard K. Aichernig and Peter Lucas},
  title = {{{{Formale Methoden in der Praxis}}}},
  booktitle = {Unterlagen zum 1.~\"Osterreichischen ISA-EUNET Workshop, Wien},
  year = {1999},
  month = {28.~April},
  organization = {\"Osterreichische Computer Gesellschaft, AK Software Qualit\"at und
Verl\"aszlichkeit},
  timestamp = {2014.02.24},
  originalfile = {/formal_methods/formal_methods.bib}
}

@article{Aichernig1998d,
  author = {Bernhard K. Aichernig and Peter Lucas},
  title = {{{{Softwareentwicklung --- eine Ingenieursdisziplin!(?)}}}},
  journal = {Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV)},
  year = {1998},
  volume = {4},
  pages = {2--8},
  number = {2},
  note = {ISSN 1028-5068},
  timestamp = {2014.02.24},
  originalfile = {/formal_methods/formal_methods.bib}
}

This file was generated by bibtex2html 1.98.