Markus Bischof

	2008
2		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: 165-180
1		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: 121-124

Coauthor Index

1	Elisabeth André	[1]
2	Bettina Conradi	[1]
3	Holger Grandy	[2]
4	Peter Lachenmaier	[1]
5	Kai Linde	[1]
6	Max Meier	[1]
7	Philipp Pötzl	[1]
8	Wolfgang Reif	[2]
9	Gerhard Schellhorn	[2]
10	Kurt Stenzel	[2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page