Alfred Mikschl Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2007
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jürgen Risau, Alfred Mikschl, Werner Damm: A RISC Approach to Weak Cache Coherence. Euro-Par, Vol. II 1996: 453-456
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alfred Mikschl, Werner Damm: MSparc: A Multithreaded Sparc. Euro-Par, Vol. II 1996: 461-469

Coauthor Index

1Werner Damm
[c3] [j1] [c2] [c1]
2Alexander Metzner
[j1]
3Jürgen Niehaus
[j1]
4Jens Oehlerking
[c3]
5Ernst-Rüdiger Olderog
[c3]
6Jun Pang
[c3]
7André Platzer
[c3]
8Jürgen Risau
[c2]
9Marc Segelken
[c3]
10Boris Wirtz
[c3]
Last update Sun May 19 15:43:16 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page