Alfred Mikschl

	2007
3		Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz: Automating Verification of Cooperation, Control, and Design in Traffic Applications. Formal Methods and Hybrid Real-Time Systems 2007: 115-169
	1996
2		Jürgen Risau, Alfred Mikschl, Werner Damm: A RISC Approach to Weak Cache Coherence. Euro-Par, Vol. II 1996: 453-456
1		Alfred Mikschl, Werner Damm: MSparc: A Multithreaded Sparc. Euro-Par, Vol. II 1996: 461-469

Coauthor Index

1	Werner Damm	[1] [2] [3]
2	Jens Oehlerking	[3]
3	Ernst-Rüdiger Olderog	[3]
4	Jun Pang	[3]
5	André Platzer	[3]
6	Jürgen Risau	[2]
7	Marc Segelken	[3]
8	Boris Wirtz	[3]