Yuen Man Hon

	2008
2		Yuen Man Hon, Jan-Tecker Gayen, Hans-Dieter Ehrich: OOLH: A Formal Framework for Specifying System Requirements. SIGSAND-EUROPE 2008: 75-78
	2007
1		Maik Kollmann, Yuen Man Hon: Generating Scenarios by Multi-Object Checking. Electr. Notes Theor. Comput. Sci. 190(2): 61-72 (2007)

Coauthor Index

1	Hans-Dieter Ehrich	[2]
2	Jan-Tecker Gayen	[2]
3	Maik Kollmann	[1]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page