Veröffentlichungen

Technische Berichte (9)

	Mutz, Martin and Huhn, Michaela: Automated Statechart Analysis for User-defined Design Rules., 2003
	Gehrke, Thomas and Huhn, Michaela and Rensink, Arend and Wehrheim, Heike: An Algebraic Semantics for Message Sequence Chart Documents., 1998
	Huhn, Michaela and Niebert, Peter and Wallner, Frank: Model Checking Gossip Modalities., 1998
	Huhn, Michaela and Niebert, Peter and Wehrheim, Heike: Partial order Reductions for Bisimulation Checking., 1998
	Gehrke, Thomas and Huhn, Michaela: textitProFun - a Language for Executable Specifications., 1996
	Huhn, Michaela: Semantic and Logical Refinement of Actions., 1996
	Huhn, Michaela and Niebert, Peter: Towards Automata for Branching Time and Partial Order., 1996
	Huhn, Michaela and Niebert, Peter and Wallner, Frank: Put your Model Checker on Diet - Verification on Local States., 1996
	Huhn, Michaela and Wehrheim, Heike and Denker, Grit: Action Refinement - An Application of Process Theory on Object-Oriented Specification., 1995