@INPROCEEDINGS{FHK08SAM,
  author = {Christian Saminger, Gerald Madlmayr, Stefan Grünberger, Josef Langer},
  title = {Automatisierte Methoden zur Verifikation der NFC-Technologie},
  booktitle = {Tagungsband 2. Forschungsforum der österreichischen Fachhochschulen},
  year = {2008},
  volume = {02},
  pages = {6},
  month = {03},
  organization = {Österreichische Fachhochschul Konferenz},
  publisher = {Shaker Verlag, Aachen},
}