@InProceedings{   RS-concur09,
  Author        = "Reynier, Pierre-Alain and Sangnier, Arnaud",
  BookTitle     = "{P}roceedings of the 20th International Conference on Concurrency Theory (CONCUR'09)",
  date-added    = "2012-12-18 15:51:40 +0000",
  date-modified = "2012-12-18 15:51:40 +0000",
  Pages         = "557-571",
  Publisher     = "Springer",
  Series        = "Lecture Notes in Computer Science",
  Title         = "Weak {T}ime {P}etri {N}ets strike back!",
  Volume        = "5710",
  Year          = "2009",
  File          = "Weak Time Petri Nets strike back! - Reynier, Sangnier (0) (0) - a - a - d.pdf",
  file-2        = "Weak Time Petri Nets strike back! - Reynier, Sangnier (1) (0) - a - a - d.pdf"
}

@InProceedings{ RS-concur09, Author = "Reynier, Pierre-Alain and Sangnier, Arnaud", BookTitle = "{P}roceedings of the 20th International Conference on Concurrency Theory (CONCUR'09)", date-added = "2012-12-18 15:51:40 +0000", date-modified = "2012-12-18 15:51:40 +0000", Pages = "557-571", Publisher = "Springer", Series = "Lecture Notes in Computer Science", Title = "Weak {T}ime {P}etri {N}ets strike back!", Volume = "5710", Year = "2009", File = "Weak Time Petri Nets strike back! - Reynier, Sangnier (0) (0) - a - a - d.pdf", file-2 = "Weak Time Petri Nets strike back! - Reynier, Sangnier (1) (0) - a - a - d.pdf" }