APA-Zitierstil (7. Ausg.)

(2006). A systematic verification approach for Mondex electronic purses using ASMs. Inst. für Informatik.

Chicago-Zitierstil (17. Ausg.)

A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. Augsburg: Inst. für Informatik, 2006.

MLA-Zitierstil (9. Ausg.)

A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. Inst. für Informatik, 2006.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.