Michael Baldamus (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

9 Michael Baldamus, Jochen Schröder-Babo: p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper). SPIN 2001: 183-191

Selection of 1 from 15 records - Michael Baldamus has 14 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page