Работы, на которые ссылается эта работа

Работ: 12

Работа: To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties

1. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.535115

2. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.535116

3. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.535117

4. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.535118

5. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.535119

6. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.535120

7. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.535121

8. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.535122

9. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.535123

10. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.535124

11. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.535125

12. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.535126