@inproceedings{conf/oopsla/MarellyHK02,
  added-at = {2012-05-18T00:00:00.000+0200},
  author = {Marelly, Rami and Harel, David and Kugler, Hillel},
  biburl = {http://www.bibsonomy.org/bibtex/282ee98aef479fcd7d5ffafd7490369b7/dblp},
  booktitle = {OOPSLA},
  crossref = {conf/oopsla/2002},
  editor = {Ibrahim, Mamdouh and Matsuoka, Satoshi},
  ee = {http://doi.acm.org/10.1145/582419.582429},
  interhash = {ea9abdaa24ef3f943b902696af2e6786},
  intrahash = {82ee98aef479fcd7d5ffafd7490369b7},
  isbn = {1-58113-471-1},
  keywords = {dblp},
  pages = {83-100},
  publisher = {ACM},
  timestamp = {2012-05-18T00:00:00.000+0200},
  title = {Multiple instances and symbolic variables in executable sequence charts.},
  url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2002.html#MarellyHK02},
  year = 2002
}