Alfred Mikschl

Publication Activity (10 Years)

Years Active: 1996-2007
Publications (10 Years): 0

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

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)
Jürgen Niehaus, Werner Damm, Alexander Metzner, Alfred Mikschl
Die EVENTS-Architektur (The EVENTS Architecture). Informationstechnik Tech. Inform. 42 (2) (2000)
Alfred Mikschl, Werner Damm
MSparc: A Multithreaded Sparc. Euro-Par, Vol. II (1996)
Jürgen Risau, Alfred Mikschl, Werner Damm
A RISC Approach to Weak Cache Coherence. Euro-Par, Vol. II (1996)