dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Marion Klein (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen: DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. TACAS 1996: 422-426
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria: The Fixpoint-Analysis Machine. CONCUR 1995: 72-87
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Marion Klein, Bernhard Steffen: Faster Model Checking for the Modal Mu-Calculus. CAV 1992: 410-422

Selection of 3 from 5 records - Marion Klein has 11 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page