@Inproceedings{EPTCS50.4,
  author    = {Gelderie, Marcus and Holtmann, Michael},
  year      = {2011},
  title     = {Memory Reduction via Delayed Simulation},
  editor    = {Reich, Johannes and Finkbeiner, Bernd},
  booktitle = {{\rm Proceedings International Workshop on}
               Interactions, Games and Protocols,
               {\rm Saarbr\"ucken, Germany, 27th March 2011}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {50},
  publisher = {Open Publishing Association},
  pages     = {46-60},
  doi       = {10.4204/EPTCS.50.4},
}