Publication

Automated Methods for the Verification of the NFC-technology

Publication, 2008

Outline

C. Saminger, G. Madlmayr, S. Grünberger, J. Langer - Automated Methods for the Verification of the NFC-technology - Tagungsband 2. Forschungsforum der österreichischen Fachhochschulen, Wels, Austria, 2008, pp. 195-200