@InProceedings{   AbdullaDelzanno:CMR:AVIS:2006,
  Author        = "Abdulla, Parosh Aziz and Delzanno, Giorgio",
  BookTitle     = "Proc. of AVIS'06",
  date-added    = "2015-03-26 17:47:05 +0000",
  date-modified = "2015-03-26 17:54:58 +0000",
  Keywords      = "timed Petri nets and data nets",
  Series        = "ENTCS",
  Title         = "Constrained Multiset Rewriting",
  Year          = "2006",
  File          = "Constrained Multiset Rewriting - Abdulla, Delzanno (0) (0) - a - a - f.pdf",
  file-2        = "Constrained Multiset Rewriting - Abdulla, Delzanno (1) (0) - a - a - f.pdf"
}

@InProceedings{ AbdullaDelzanno:CMR:AVIS:2006, Author = "Abdulla, Parosh Aziz and Delzanno, Giorgio", BookTitle = "Proc. of AVIS'06", date-added = "2015-03-26 17:47:05 +0000", date-modified = "2015-03-26 17:54:58 +0000", Keywords = "timed Petri nets and data nets", Series = "ENTCS", Title = "Constrained Multiset Rewriting", Year = "2006", File = "Constrained Multiset Rewriting - Abdulla, Delzanno (0) (0) - a - a - f.pdf", file-2 = "Constrained Multiset Rewriting - Abdulla, Delzanno (1) (0) - a - a - f.pdf" }