"Verifying the Mondex Case Study."

Peter H. Schmitt, Isabel Tonin (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics