"Specification, proof, and model checking of the Mondex electronic purse ..."

Chris George, Anne Elisabeth Haxthausen (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics