(2006). A systematic verification approach for Mondex electronic purses using ASMs. Inst. für Informatik.
Chicago Style (17th ed.) CitationA Systematic Verification Approach for Mondex Electronic Purses Using ASMs. Augsburg: Inst. für Informatik, 2006.
MLA (9th ed.) CitationA Systematic Verification Approach for Mondex Electronic Purses Using ASMs. Inst. für Informatik, 2006.
Warning: These citations may not always be 100% accurate.