@Article{         Muscholl:2014fk,
  Author        = "Muscholl, Anca and Walukiewicz, Igor",
  date-added    = "2014-03-26 12:21:35 +0000",
  date-modified = "2014-03-26 12:21:43 +0000",
  EPrint        = "1402.3314",
  Month         = "02",
  Title         = "Distributed synthesis for acyclic architectures",
  URL           = "http://arxiv.org/abs/1402.3314",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1402.3314",
  File          = "Distributed synthesis for acyclic architectures - Muscholl, Walukiewicz (0) (1) - a - a - u.pdf"
}

@Article{ Muscholl:2014fk, Author = "Muscholl, Anca and Walukiewicz, Igor", date-added = "2014-03-26 12:21:35 +0000", date-modified = "2014-03-26 12:21:43 +0000", EPrint = "1402.3314", Month = "02", Title = "Distributed synthesis for acyclic architectures", URL = "http://arxiv.org/abs/1402.3314", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1402.3314", File = "Distributed synthesis for acyclic architectures - Muscholl, Walukiewicz (0) (1) - a - a - u.pdf" }