sullivan2013cds
Summary
Michael Sullivan, Ikhwan Lee, Jinsuk Chung, Song Zhang, Seong-Lyong Gong, Derong Liu, Michael LeBeane, and Mattan Erez. Containment Domains Semantics version 0.1. Technical report Tr-LPH-2013–001, LPH Group, Department of Electrical and Computer Engineering, The University of Texas at Austin, October, 2013. (PDF)
Bibtex entry
@TECHREPORT { sullivan2013cds,
AUTHOR = { Michael Sullivan and Ikhwan Lee and Jinsuk Chung and Song Zhang and Seong-Lyong Gong and Derong Liu and Michael LeBeane and Mattan Erez },
TITLE = { Containment Domains Semantics version 0.1 },
NUMBER = { Tr-LPH-2013–001 },
INSTITUTION = { LPH Group, Department of Electrical and Computer Engineering, The University of Texas at Austin },
MONTH = { October },
YEAR = { 2013 },
PDF = { /cd_semantics_01.pdf },
MYCAT = { report },
}