BibTeX record conf/asm/GrafP05

download as .bib file

@inproceedings{DBLP:conf/asm/GrafP05,
  author       = {Susanne Graf and
                  Andreas Prinz},
  title        = {Time in State Machines},
  booktitle    = {Proceedings of the 12th International Workshop on Abstract State Machines,
                  {ASM} 2005, March 8-11, 2005, Paris, France},
  pages        = {217--232},
  year         = {2005},
  url          = {http://www.univ-paris12.fr/lacl/dima/asm05/GrafPrinzASM2005-pgnb.pdf},
  timestamp    = {Mon, 25 Dec 2017 02:18:30 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/GrafP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics