Markus Bischof

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Markus Bischof, Bettina Conradi, Peter Lachenmaier, Kai Linde, Max Meier, Philipp Pötzl, Elisabeth André
Xenakis: combining tangible interaction with probability-based musical composition. Tangible and Embedded Interaction (2008)
Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. FM (2008)