%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 }