guest ::
%0 Conference Paper %A Kremer, Noemi Christine %A Beetz, Jakob %T Extending information delivery specification for linking distributed model checking services %C Newcastle, UK %I Newcastle University %M RWTH-2025-02131 %P 949-956 %D 2023 %< 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 %B 40. International Conference of CIB W78 %C 10 Jul 2023 - 12 Jul 2023, Heraklion (Greece) Y2 10 Jul 2023 - 12 Jul 2023 M2 Heraklion, Greece %F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8 %9 Contribution to a bookContribution to a conference proceedings %U https://publications.rwth-aachen.de/record/1005958