sullivan2014cds

Summary

Michael Sullivan, Ikhwan Lee, Jinsuk Chung, Song Zhang, Seong-Lyong Gong, Derong Liu, Michael LeBeane, Kyushick Lee, and Mattan Erez. Containment Domains Semantics version 0.2. Technical report Tr-LPH-2014–001, LPH Group, Department of Electrical and Computer Engineering, The University of Texas at Austin, February, 2014. (PDF)

Bibtex entry

@TECHREPORT { sullivan2014cds,
    AUTHOR = { Michael Sullivan and Ikhwan Lee and Jinsuk Chung and Song Zhang and Seong-Lyong Gong and Derong Liu and Michael LeBeane and Kyushick Lee and Mattan Erez },
    TITLE = { Containment Domains Semantics version 0.2 },
    NUMBER = { Tr-LPH-2014–001 },
    INSTITUTION = { LPH Group, Department of Electrical and Computer Engineering, The University of Texas at Austin },
    MONTH = { February },
    YEAR = { 2014 },
    PDF = { /cd_semantics.pdf },
    MYCAT = { report },
}