Alfred Mikschl

	2007
4		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
	2000
3		Jürgen Niehaus, Werner Damm, Alexander Metzner, Alfred Mikschl: Die EVENTS-Architektur (The EVENTS Architecture). it+ti - Informationstechnik und Technische Informatik 42(2): 40-44 (2000)
	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] [4]
2	Alexander Metzner	[3]
3	Jürgen Niehaus	[3]
4	Jens Oehlerking	[4]
5	Ernst-Rüdiger Olderog	[4]
6	Jun Pang	[4]
7	André Platzer	[4]
8	Jürgen Risau	[2]
9	Marc Segelken	[4]
10	Boris Wirtz	[4]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page