BibTeX record conf/asm/FarahbodGG05

download as .bib file

@inproceedings{DBLP:conf/asm/FarahbodGG05,
  author    = {Roozbeh Farahbod and
               Vincenzo Gervasi and
               Uwe Gl{\"{a}}sser},
  title     = {CoreASM: An Extensible {ASM} Execution Engine},
  booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
               {ASM} 2005, March 8-11, 2005, Paris, France},
  pages     = {153--166},
  year      = {2005},
  url       = {http://www.univ-paris12.fr/lacl/dima/asm05/CoreASM-ASM2005.ps},
  timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
  biburl    = {https://dblp.org/rec/conf/asm/FarahbodGG05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics