guest ::
TY - CONF AU - Kremer, Noemi Christine AU - Beetz, Jakob TI - Extending information delivery specification for linking distributed model checking services CY - Newcastle, UK PB - Newcastle University M1 - RWTH-2025-02131 SP - 949-956 PY - 2023 T2 - 40. International Conference of CIB W78 CY - 10 Jul 2023 - 12 Jul 2023, Heraklion (Greece) Y2 - 10 Jul 2023 - 12 Jul 2023 M2 - Heraklion, Greece LB - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8 UR - https://publications.rwth-aachen.de/record/1005958 ER -