logo
BibTeX Entry


@inproceedings{AD-avis06,
  author	= {Abdulla, Parosh Aziz and Delzanno, Giorgio},
  booktitle	= {Proc. AVIS'06-5th Int. Workshop on on {A}utomated {V}erification of {I}nfinite-{S}tate {S}ystems},
  title		= {On the Coverability Problem for Constrained Multiset Rewriting},
  year		= {2006},
}