Model checking specifications of smart cards.

Karin Greimel, Norman Seler, Thomas Klotz

Browse the full IECON paper archive.