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