Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/codes/TripakisAGLRWYKW11
AU - Tripakis, Stavros
AU - Andrade, Hugo A.
AU - Ghosal, Arkadeb
AU - Limaye, Rhishikesh
AU - Ravindran, Kaushik
AU - Wang, Guoqiang
AU - Yang, Guang
AU - Kornerup, Jacob
AU - Wong, Ian C.
TI - Correct and non-defensive glue design using abstract models.
BT - Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2011, part of ESWeek '11 Seventh Embedded Systems Week, Taipei, Taiwan, 9-14 October, 2011
SP - 59
EP - 68
PY - 2011//
DO - 10.1145/2039370.2039382
UR - https://doi.org/10.1145/2039370.2039382
ER -
