Learning communicating and nondeterministic automata

@PHDTHESIS{Kern:51281,
      author       = {Kern, Carsten},
      othercontributors = {Katoen, Joost-Pieter},
      title        = {{L}earning communicating and nondeterministic automata},
      volume       = {2009,17},
      address      = {Aachen},
      publisher    = {RWTH Aachen, Department of Computer Science},
      series       = {Aachener Informatik-Berichte},
      pages        = {230 S. : graph. Darst.},
      year         = {2009},
      note         = {Zsfassung in engl. und dt. Sprache; Zugl.: Aachen, Techn.
                      Hochsch., Diss., 2009},
      keywords     = {CSP (SWD) / Maschinelles Lernen (SWD) / Inkrementelles
                      Lernen (SWD) / Algorithmische Lerntheorie (SWD) / CASE
                      <Informatik> (SWD) / Software Engineering (SWD) / Verteiltes
                      System (SWD)},
      cin          = {120000 / 121310},
      ddc          = {Informatik},
      cid          = {$I:(DE-82)120000_20140620$ / $I:(DE-82)121310_20140620$},
      typ          = {PUB:(DE-HGF)11},
      urn          = {urn:nbn:de:hbz:82-opus-29439},
      url          = {http://publications.rwth-aachen.de/record/51281},
}