guest ::
000119226 001__ 119226 000119226 005__ 20241106094704.0 000119226 0247_ $$2INSPEC$$a11487353 000119226 0247_ $$2DOI$$a10.1109/SIES.2010.5551382 000119226 0247_ $$2HSB$$a999910024346 000119226 0247_ $$2ISBN$$a978-1-4244-5840-7 000119226 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-77957550822 000119226 037__ $$aRWTH-CONV-190384 000119226 041__ $$aEnglish 000119226 1001_ $$0P:(DE-82)012894$$aGückel, Dominique$$b0$$eAuthor 000119226 1112_ $$a2010 International Symposium on Industrial Embedded Systems$$cTrento$$d2010-07-07 - 2010-07-09$$gSIES 2010$$wItaly 000119226 245__ $$aA System for Synthesizing Abstraction-Enabled Simulators for Binary Code Verification$$honline, print 000119226 260__ $$aPiscataway, NJ$$bIEEE$$c2010 000119226 29510 $$a2010 International Symposium on Industrial Embedded Systems (SIES 2010) : Trento, Italy, 7 - 9 July 2010 / [University of Trento, Italy; IEEE; IES] 000119226 300__ $$a118-127 000119226 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings$$bcontrib$$mcontrib 000119226 3367_ $$033$$2EndNote$$aConference Paper 000119226 3367_ $$2ORCID$$aCONFERENCE_PAPER 000119226 3367_ $$2DataCite$$aOutput Types/Conference Paper 000119226 3367_ $$2DRIVER$$aconferenceObject 000119226 3367_ $$2BibTeX$$aINPROCEEDINGS 000119226 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book 000119226 591__ $$aGermany 000119226 7001_ $$0P:(DE-82)006908$$aBrauer, Jörg$$b1$$eAuthor 000119226 7001_ $$0P:(DE-82)IDM06137$$aKowalewski, Stefan$$b2$$eAuthor 000119226 909CO $$ooai:publications.rwth-aachen.de:119226$$pVDB 000119226 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article 000119226 9201_ $$0I:(DE-82)122810_20140620$$k122810$$lLehrstuhl für Informatik 11 (Software für eingebettete Systeme)$$x0 000119226 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1 000119226 961__ $$c2014-08-12$$x2011-01-25$$z2012-02-20 000119226 970__ $$ahsb999910024346 000119226 980__ $$acontrib 000119226 980__ $$aI:(DE-82)122810_20140620 000119226 980__ $$aI:(DE-82)120000_20140620 000119226 980__ $$aVDB 000119226 980__ $$aUNRESTRICTED 000119226 980__ $$aConvertedRecord 000119226 980__ $$acontb