BibTeX record conf/jvm/MooreP01

download as .bib file

@inproceedings{DBLP:conf/jvm/MooreP01,
  author       = {J Strother Moore and
                  George Porter},
  editor       = {Saul Wold},
  title        = {An Executable Formal Java Virtual Machine Thread Model},
  booktitle    = {Proceedings of the 1st Java Virtual Machine Research and Technology
                  Symposium, April 23-24, 2001, Monterey, CA, {USA}},
  pages        = {91--104},
  publisher    = {{USENIX}},
  year         = {2001},
  url          = {http://www.usenix.org/publications/library/proceedings/jvm01/moore.html},
  timestamp    = {Tue, 02 Feb 2021 08:05:50 +0100},
  biburl       = {https://dblp.org/rec/conf/jvm/MooreP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics