Heiko Schmidt

	2009
3		Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn: Refinement Sensitive Formal Semantics of State Machines With Persistent Choice. Electr. Notes Theor. Comput. Sci. 250(1): 71-86 (2009)
	2008
2		Harald Fecher, Heiko Schmidt: Comparing disjunctive modal transition systems with an one-selecting variant. J. Log. Algebr. Program. 77(1-2): 20-39 (2008)
	2007
1		Harald Fecher, Heiko Schmidt: Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems. Electr. Notes Theor. Comput. Sci. 192(1): 45-60 (2007)

Coauthor Index

1	Harald Fecher	[1] [2] [3]
2	Michael Huth	[3]
3	Jens Schönborn	[3]