@Article{         HP06,
  Author        = "Haddad, S. and Pradat-Peyre, J.",
  date-added    = "2013-11-08 08:02:55 +0000",
  date-modified = "2013-11-08 08:02:55 +0000",
  Journal       = "Parallel Processing Letters",
  Note          = "{note}",
  Number        = "1",
  Pages         = "101-116",
  Title         = "{New Efficient Petri Nets Reductions for Parallel Programs Verification}",
  Volume        = "16",
  Year          = "2006",
  File          = "New Efficient Petri Nets Reductions for Parallel Programs Verification - Haddad, Pradat-Peyre (0) (0) - a - a - c.pdf"
}

@Article{ HP06, Author = "Haddad, S. and Pradat-Peyre, J.", date-added = "2013-11-08 08:02:55 +0000", date-modified = "2013-11-08 08:02:55 +0000", Journal = "Parallel Processing Letters", Note = "{note}", Number = "1", Pages = "101-116", Title = "{New Efficient Petri Nets Reductions for Parallel Programs Verification}", Volume = "16", Year = "2006", File = "New Efficient Petri Nets Reductions for Parallel Programs Verification - Haddad, Pradat-Peyre (0) (0) - a - a - c.pdf" }