h1

001005958 001__ 1005958
001005958 005__ 20251014091012.0
001005958 0247_ $$2ISBN$$a978-0-7017-0273-1
001005958 0247_ $$2ISBN$$a978-07-0170-273-1
001005958 037__ $$aRWTH-2025-02131
001005958 041__ $$aEnglish
001005958 1001_ $$0P:(DE-82)IDM04064$$aKremer, Noemi Christine$$b0$$urwth
001005958 1112_ $$a40. International Conference of CIB W78$$cHeraklion$$d2023-07-10 - 2023-07-12$$wGreece
001005958 245__ $$aExtending information delivery specification for linking distributed model checking services$$honline
001005958 260__ $$aNewcastle, UK$$bNewcastle University$$c2023
001005958 29510 $$aProceedings 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
001005958 300__ $$a949-956
001005958 3367_ $$033$$2EndNote$$aConference Paper
001005958 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book
001005958 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings$$bcontrib$$mcontrib$$s1741695954_2702025
001005958 3367_ $$2BibTeX$$aINPROCEEDINGS
001005958 3367_ $$2DRIVER$$aconferenceObject
001005958 3367_ $$2DataCite$$aOutput Types/Conference Paper
001005958 3367_ $$2ORCID$$aCONFERENCE_PAPER
001005958 591__ $$aGermany
001005958 7001_ $$0P:(DE-82)IDM02105$$aBeetz, Jakob$$b1$$urwth
001005958 8564_ $$uhttps://ec-3.org/publications/conferences/EC32023/EC3_2023_Proceedings.pdf$$yFulltext
001005958 8564_ $$uhttps://publications.rwth-aachen.de/record/1005958/files/1005958.pdf$$yRestricted
001005958 909CO $$ooai:publications.rwth-aachen.de:1005958$$qVDB
001005958 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM04064$$aRWTH Aachen$$b0$$kRWTH
001005958 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM02105$$aRWTH Aachen$$b1$$kRWTH
001005958 9141_ $$y2023
001005958 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
001005958 915__ $$0LIC:(DE-HGF)CCBYNCNDNV$$2HGFVOC$$aCreative Commons Attribution CC BY-NC-ND (No Version)
001005958 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
001005958 9201_ $$0I:(DE-82)211220_20140620$$k211220$$lLehr- und Forschungsgebiet Computergestütztes Entwerfen$$x0
001005958 961__ $$c2025-03-11T13:28:23.200778$$x2025-03-09T11:12:11.240642$$z2025-03-12
001005958 980__ $$aI:(DE-82)211220_20140620
001005958 980__ $$aUNRESTRICTED
001005958 980__ $$aVDBINPRINT
001005958 980__ $$acontb
001005958 980__ $$acontrib