@Article{         springerlink:10.1007/BF01178512,
  Author        = "Diekert, Volker and Muscholl, Anca",
  affiliation   = {Institut f{\"u}r Informatik Universit{\"a}t Stuttgart Breitwiesenstrasse 20-22 D-70565 Stuttgart Germany},
  date-added    = "2013-02-21 10:21:40 +0000",
  date-modified = "2013-02-21 10:21:53 +0000",
  ISSN          = "0001-5903",
  Issue         = "4",
  Journal       = "Acta Informatica",
  keyword       = "Computer Science",
  Keywords      = "asynchronous automata and trace theory",
  Note          = "10.1007/BF01178512",
  Pages         = "379-397",
  Publisher     = "Springer Berlin / Heidelberg",
  Title         = "Deterministic asynchronous automata for infinite traces",
  URL           = "http://dx.doi.org/10.1007/BF01178512",
  Volume        = "31",
  Year          = "1994",
  bdsk-url-1    = "http://dx.doi.org/10.1007/BF01178512",
  File          = "Deterministic asynchronous automata for infinite traces - Diekert, Muscholl (0) (1) - a - a - b.pdf"
}

@Article{ springerlink:10.1007/BF01178512, Author = "Diekert, Volker and Muscholl, Anca", affiliation = {Institut f{\"u}r Informatik Universit{\"a}t Stuttgart Breitwiesenstrasse 20-22 D-70565 Stuttgart Germany}, date-added = "2013-02-21 10:21:40 +0000", date-modified = "2013-02-21 10:21:53 +0000", ISSN = "0001-5903", Issue = "4", Journal = "Acta Informatica", keyword = "Computer Science", Keywords = "asynchronous automata and trace theory", Note = "10.1007/BF01178512", Pages = "379-397", Publisher = "Springer Berlin / Heidelberg", Title = "Deterministic asynchronous automata for infinite traces", URL = "http://dx.doi.org/10.1007/BF01178512", Volume = "31", Year = "1994", bdsk-url-1 = "http://dx.doi.org/10.1007/BF01178512", File = "Deterministic asynchronous automata for infinite traces - Diekert, Muscholl (0) (1) - a - a - b.pdf" }