2023
Extending information delivery specification for linking distributed model checking services Proceedings Article
In: 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, pp. 949-956, 40. International Conference of CIB W78, Heraklion (Greece), 10 Jul 2023 - 12 Jul 2023 Newcastle University, Newcastle, UK, 2023.