| 001 | 720751 | ||
| 005 | 20241203121153.0 | ||
| 024 | 7 | _ | |2 DOI |a 10.1145/3145344.3145490 |
| 024 | 7 | _ | |2 ISBN |a 978-1-4503-5127-0 |
| 024 | 7 | _ | |2 SCOPUS |a SCOPUS:2-s2.0-85054827032 |
| 037 | _ | _ | |a RWTH-CONV-224077 |
| 041 | _ | _ | |a English |
| 100 | 1 | _ | |0 P:(DE-82)IDM00506 |a Protze, Joachim |b 0 |e Corresponding author |u rwth |
| 111 | 2 | _ | |a 1. International Workshop on Software Correctness for HPC Applications |c Denver, CO |d 2017-11-12 - 2017-11-17 |g Correctness'17 |w USA |
| 245 | _ | _ | |a Runtime Correctness Checking for Emerging Programming Paradigms |h online, print |
| 260 | _ | _ | |a New York, NY |b ACM |c 2017 |
| 295 | 1 | 0 | |a Proceedings of the First International Workshop on Software Correctness for HPC Applications |
| 300 | _ | _ | |a 21-27 |
| 336 | 7 | _ | |0 33 |2 EndNote |a Conference Paper |
| 336 | 7 | _ | |0 PUB:(DE-HGF)7 |2 PUB:(DE-HGF) |a Contribution to a book |
| 336 | 7 | _ | |0 PUB:(DE-HGF)8 |2 PUB:(DE-HGF) |a Contribution to a conference proceedings |b contrib |m contrib |
| 336 | 7 | _ | |2 BibTeX |a INPROCEEDINGS |
| 336 | 7 | _ | |2 DRIVER |a conferenceObject |
| 336 | 7 | _ | |2 DataCite |a Output Types/Conference Paper |
| 336 | 7 | _ | |2 ORCID |a CONFERENCE_PAPER |
| 591 | _ | _ | |a France |
| 591 | _ | _ | |a Germany |
| 591 | _ | _ | |a Japan |
| 700 | 1 | _ | |0 P:(DE-82)IDM00334 |a Terboven, Christian |b 1 |e Corresponding author |u rwth |
| 700 | 1 | _ | |0 P:(DE-82)IDM01074 |a Müller, Matthias S. |b 2 |e Corresponding author |u rwth |
| 700 | 1 | _ | |a Petiton, Serge G. |b 3 |e Corresponding author |
| 700 | 1 | _ | |a Emad, Nahid |b 4 |e Corresponding author |
| 700 | 1 | _ | |a Murai, Hitoshi |b 5 |e Corresponding author |
| 700 | 1 | _ | |a Boku, Taisuke |b 6 |e Corresponding author |
| 909 | C | O | |o oai:publications.rwth-aachen.de:720751 |p VDB |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM00506 |a RWTH Aachen |b 0 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM00334 |a RWTH Aachen |b 1 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM01074 |a RWTH Aachen |b 2 |k RWTH |
| 915 | 1 | _ | |0 StatID:(DE-HGF)0031 |2 StatID |a Peer reviewed article |x 0 |
| 920 | 1 | _ | |0 I:(DE-82)123010_20140620 |k 123010 |l Lehrstuhl für Informatik 12 (Hochleistungsrechnen) |x 0 |
| 920 | 1 | _ | |0 I:(DE-82)120000_20140620 |k 120000 |l Fachgruppe Informatik |x 1 |
| 920 | 1 | _ | |0 I:(DE-82)022000_20140101 |k 022000 |l IT Center |x 2 |
| 980 | _ | _ | |a I:(DE-82)022000_20140101 |
| 980 | _ | _ | |a I:(DE-82)120000_20140620 |
| 980 | _ | _ | |a I:(DE-82)123010_20140620 |
| 980 | _ | _ | |a UNRESTRICTED |
| 980 | _ | _ | |a VDB |
| 980 | _ | _ | |a contb |
| 980 | _ | _ | |a contrib |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|