|
Search the dblp DataBase
Therese Berg:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Therese Berg, Harald Raffelt
Model Checking. [Citation Graph (0, 0)][DBLP] Model-Based Testing of Reactive Systems, 2004, pp:557-603 [Conf]
- Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen
On the Correspondence Between Conformance Testing and Regular Inference. [Citation Graph (0, 0)][DBLP] FASE, 2005, pp:175-189 [Conf]
- Therese Berg, Bengt Jonsson, Harald Raffelt
Regular Inference for State Machines with Parameters. [Citation Graph (0, 0)][DBLP] FASE, 2006, pp:107-121 [Conf]
- Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena
Insights to Angluin's Learning. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:3-18 [Journal]
Regular Inference for State Machines Using Domains with Equality Tests. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|