Classifications of Recognizable Infinitary Trace Languages and the Distributed Synthesis Problem

by Namit Chaturvedi
Reference:
Classifications of Recognizable Infinitary Trace Languages and the Distributed Synthesis Problem (Namit Chaturvedi), Publikationsserver der RWTH Aachen University, 2015. (Prüfungsjahr: 2014. – Publikationsjahr: 2015; Aachen, Techn. Hochsch., Diss., 2014)
Bibtex Entry:
@PHDTHESIS{Chaturvedi:461238,
      author       = {Chaturvedi, Namit},
      othercontributors = {Thomas, Wolfgang and Muscholl, Anca},
      title        = {{C}lassifications of {R}ecognizable {I}nfinitary {T}race
                      {L}anguages and the {D}istributed {S}ynthesis {P}roblem},
      address      = {Aachen},
      publisher    = {Publikationsserver der RWTH Aachen University},
      reportid     = {RWTH-2015-00319},
      pages        = {X, 105 S. : Ill., graph. Darst.},
      year         = {2015},
      note         = {Prüfungsjahr: 2014. - Publikationsjahr: 2015; Aachen,
                      Techn. Hochsch., Diss., 2014},
      cin          = {122110 / 120000},
      ddc          = {Mathematik},
      cid          = {$I:(DE-82)122110_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)11},
      urn          = {urn:nbn:de:hbz:82-rwth-2015-003199},
      url          = {http://publications.rwth-aachen.de/record/461238},
}

Bookmark the permalink.