Therese Berg

	2009
6		Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria: LearnLib: a framework for extrapolating behavioral models. STTT 11(5): 393-407 (2009)
	2008
5		Therese Berg, Bengt Jonsson, Harald Raffelt: Regular Inference for State Machines Using Domains with Equality Tests. FASE 2008: 317-331
	2006
4		Therese Berg, Bengt Jonsson, Harald Raffelt: Regular Inference for State Machines with Parameters. FASE 2006: 107-121
	2005
3		Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen: On the Correspondence Between Conformance Testing and Regular Inference. FASE 2005: 175-189
2		Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena: Insights to Angluin's Learning. Electr. Notes Theor. Comput. Sci. 118: 3-18 (2005)
	2004
1		Therese Berg, Harald Raffelt: Model Checking. Model-Based Testing of Reactive Systems 2004: 557-603

Coauthor Index

1	Olga Grinchtein	[3]
2	Bengt Jonsson	[2] [3] [4] [5]
3	Martin Leucker	[2] [3]
4	Tiziana Margaria (Tiziana Margaria-Steffen)	[6]
5	Harald Raffelt	[1] [3] [4] [5] [6]
6	Mayank Saksena	[2]
7	Bernhard Steffen	[3] [6]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page