Inproceedings,
Using Meta-level Compilation to Check FLASH Protocol Code.
A. Chou, B. Chelf, D. Engler, and M. Heinrich.ASPLOS, page 59-70. ACM Press, (2000)
Meta data
- BibTeX key
- conf/asplos/ChouCEH00
- entry type
- inproceedings
- booktitle
- ASPLOS
- year
- 2000
- pages
- 59-70
- publisher
- ACM Press
- crossref
- conf/asplos/2000
- ee
- https://doi.org/10.1145/356989.356995
- isbn
- 1-58113-317-0
- url
- http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#ChouCEH00
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/asplos/ChouCEH00
%A Chou, Andy
%A Chelf, Benjamin
%A Engler, Dawson R.
%A Heinrich, Mark A.
%B ASPLOS
%D 2000
%E Rudolph, Larry
%E Gupta, Anoop
%I ACM Press
%K dblp
%P 59-70
%T Using Meta-level Compilation to Check FLASH Protocol Code.
%U http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#ChouCEH00
%@ 1-58113-317-0
@inproceedings{conf/asplos/ChouCEH00,
added-at = {2021-07-07T00:00:00.000+0200},
author = {Chou, Andy and Chelf, Benjamin and Engler, Dawson R. and Heinrich, Mark A.},
biburl = {https://www.bibsonomy.org/bibtex/226d381ec328e5b13596840c790804ee4/dblp},
booktitle = {ASPLOS},
crossref = {conf/asplos/2000},
editor = {Rudolph, Larry and Gupta, Anoop},
ee = {https://doi.org/10.1145/356989.356995},
interhash = {c37cbe37b6c6b50566c39cd6d5257e49},
intrahash = {26d381ec328e5b13596840c790804ee4},
isbn = {1-58113-317-0},
keywords = {dblp},
pages = {59-70},
publisher = {ACM Press},
timestamp = {2024-04-10T01:55:01.000+0200},
title = {Using Meta-level Compilation to Check FLASH Protocol Code.},
url = {http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#ChouCEH00},
year = 2000
}