% IMPORTANT: The following is UTF-8 encoded. This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.
@INPROCEEDINGS{Kremer:1005958,
author = {Kremer, Noemi Christine and Beetz, Jakob},
title = {{E}xtending information delivery specification for linking
distributed model checking services},
address = {Newcastle, UK},
publisher = {Newcastle University},
reportid = {RWTH-2025-02131},
pages = {949-956},
year = {2023},
comment = {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},
booktitle = {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},
month = {Jul},
date = {2023-07-10},
organization = {40. International Conference of CIB
W78, Heraklion (Greece), 10 Jul 2023 -
12 Jul 2023},
cin = {211220},
cid = {$I:(DE-82)211220_20140620$},
typ = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
url = {https://publications.rwth-aachen.de/record/1005958},
}
guest ::