h1

h2

h3

h4

h5
h6


001     1005958
005     20251014091012.0
024 7 _ |2 ISBN
|a 978-0-7017-0273-1
024 7 _ |2 ISBN
|a 978-07-0170-273-1
037 _ _ |a RWTH-2025-02131
041 _ _ |a English
100 1 _ |0 P:(DE-82)IDM04064
|a Kremer, Noemi Christine
|b 0
|u rwth
111 2 _ |a 40. International Conference of CIB W78
|c Heraklion
|d 2023-07-10 - 2023-07-12
|w Greece
245 _ _ |a Extending information delivery specification for linking distributed model checking services
|h online
260 _ _ |a Newcastle, UK
|b Newcastle University
|c 2023
295 1 0 |a Proceedings of 2023 European Conference on Computing in Construction & 40th International CIB W78 Conference on Information Technology for Construction : July 10-12, 2023, Heraklion, Crete, Greece / edited by Prof. Mohamad Kassem, Newcastle University (UK); Assoc. Prof. Lavinia Chiara Tagliabue, University of Turin (IT); Prof. Robert Amor, University of Auckland (NZ); Dr. Marijana Sreckovic, TU Wien (AT); Dr. Athanasios Chassiakos, University of Patras (GR) ; organizer: European Council for Research and Innovation in Building and Construction, CIB W78
300 _ _ |a 949-956
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
|s 1741695954_2702025
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 Germany
700 1 _ |0 P:(DE-82)IDM02105
|a Beetz, Jakob
|b 1
|u rwth
856 4 _ |u https://ec-3.org/publications/conferences/EC32023/EC3_2023_Proceedings.pdf
|y Fulltext
856 4 _ |u https://publications.rwth-aachen.de/record/1005958/files/1005958.pdf
|y Restricted
909 C O |o oai:publications.rwth-aachen.de:1005958
|q VDB
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM04064
|a RWTH Aachen
|b 0
|k RWTH
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM02105
|a RWTH Aachen
|b 1
|k RWTH
914 1 _ |y 2023
915 1 _ |0 StatID:(DE-HGF)0031
|2 StatID
|a Peer reviewed article
|x 0
915 _ _ |0 LIC:(DE-HGF)CCBYNCNDNV
|2 HGFVOC
|a Creative Commons Attribution CC BY-NC-ND (No Version)
915 _ _ |0 StatID:(DE-HGF)0510
|2 StatID
|a OpenAccess
920 1 _ |0 I:(DE-82)211220_20140620
|k 211220
|l Lehr- und Forschungsgebiet Computergestütztes Entwerfen
|x 0
980 _ _ |a I:(DE-82)211220_20140620
980 _ _ |a UNRESTRICTED
980 _ _ |a VDBINPRINT
980 _ _ |a contb
980 _ _ |a contrib


LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21