@InProceedings{   CassezDavidLarsenLimeRaskin:ATVA:2007,
  Author        = "Cassez, Franck and David, Alexandre and Larsen, Kim G. and Lime, Didier and Raskin, Jean-Fran\c{c}ois",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Proc. of ATVA'07",
  date-added    = "2020-02-06 19:23:30 +0100",
  date-modified = "2020-02-06 19:24:33 +0100",
  ISBN          = "3540755950",
  Location      = "Tokyo, Japan",
  numpages      = "15",
  Pages         = "192---206",
  Publisher     = "Springer-Verlag",
  Series        = "ATVA'07",
  Title         = "Timed Control with Observation Based and Stuttering Invariant Strategies",
  Year          = "2007",
  File          = "Timed control with observation based and stuttering invariant strategies - CDLLR-atva07 - a - a - a - q.pdf",
  file-2        = "Timed Control with Observation Based and Stuttering Invariant Strategies - atva-07 - a - a - a - q.pdf"
}

@InProceedings{ CassezDavidLarsenLimeRaskin:ATVA:2007, Author = "Cassez, Franck and David, Alexandre and Larsen, Kim G. and Lime, Didier and Raskin, Jean-Fran\c{c}ois", Address = "Berlin, Heidelberg", BookTitle = "Proc. of ATVA'07", date-added = "2020-02-06 19:23:30 +0100", date-modified = "2020-02-06 19:24:33 +0100", ISBN = "3540755950", Location = "Tokyo, Japan", numpages = "15", Pages = "192---206", Publisher = "Springer-Verlag", Series = "ATVA'07", Title = "Timed Control with Observation Based and Stuttering Invariant Strategies", Year = "2007", File = "Timed control with observation based and stuttering invariant strategies - CDLLR-atva07 - a - a - a - q.pdf", file-2 = "Timed Control with Observation Based and Stuttering Invariant Strategies - atva-07 - a - a - a - q.pdf" }