h1

h2

h3

h4

h5
h6
000720751 001__ 720751
000720751 005__ 20241203121153.0
000720751 0247_ $$2DOI$$a10.1145/3145344.3145490
000720751 0247_ $$2ISBN$$a978-1-4503-5127-0
000720751 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85054827032
000720751 037__ $$aRWTH-CONV-224077
000720751 041__ $$aEnglish
000720751 1001_ $$0P:(DE-82)IDM00506$$aProtze, Joachim$$b0$$eCorresponding author$$urwth
000720751 1112_ $$a1. International Workshop on Software Correctness for HPC Applications$$cDenver, CO$$d2017-11-12 - 2017-11-17$$gCorrectness'17$$wUSA
000720751 245__ $$aRuntime Correctness Checking for Emerging Programming Paradigms$$honline, print
000720751 260__ $$aNew York, NY$$bACM$$c2017
000720751 29510 $$aProceedings of the First International Workshop on Software Correctness for HPC Applications
000720751 300__ $$a21-27
000720751 3367_ $$033$$2EndNote$$aConference Paper
000720751 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book
000720751 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings$$bcontrib$$mcontrib
000720751 3367_ $$2BibTeX$$aINPROCEEDINGS
000720751 3367_ $$2DRIVER$$aconferenceObject
000720751 3367_ $$2DataCite$$aOutput Types/Conference Paper
000720751 3367_ $$2ORCID$$aCONFERENCE_PAPER
000720751 591__ $$aFrance
000720751 591__ $$aGermany
000720751 591__ $$aJapan
000720751 7001_ $$0P:(DE-82)IDM00334$$aTerboven, Christian$$b1$$eCorresponding author$$urwth
000720751 7001_ $$0P:(DE-82)IDM01074$$aMüller, Matthias S.$$b2$$eCorresponding author$$urwth
000720751 7001_ $$aPetiton, Serge G.$$b3$$eCorresponding author
000720751 7001_ $$aEmad, Nahid$$b4$$eCorresponding author
000720751 7001_ $$aMurai, Hitoshi$$b5$$eCorresponding author
000720751 7001_ $$aBoku, Taisuke$$b6$$eCorresponding author
000720751 909CO $$ooai:publications.rwth-aachen.de:720751$$pVDB
000720751 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00506$$aRWTH Aachen$$b0$$kRWTH
000720751 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00334$$aRWTH Aachen$$b1$$kRWTH
000720751 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01074$$aRWTH Aachen$$b2$$kRWTH
000720751 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
000720751 9201_ $$0I:(DE-82)123010_20140620$$k123010$$lLehrstuhl für Informatik 12 (Hochleistungsrechnen)$$x0
000720751 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
000720751 9201_ $$0I:(DE-82)022000_20140101$$k022000$$lIT Center$$x2
000720751 961__ $$c2018-03-16$$x2018-03-16$$z2018-03-16
000720751 980__ $$aI:(DE-82)022000_20140101
000720751 980__ $$aI:(DE-82)120000_20140620
000720751 980__ $$aI:(DE-82)123010_20140620
000720751 980__ $$aUNRESTRICTED
000720751 980__ $$aVDB
000720751 980__ $$acontb
000720751 980__ $$acontrib