⌕ Поиск по атласу

NIST · ИТ · 44f8b34ed2e658d0d203

44f8b34ed2e658d0d203 · Conference Paper

Developing multithreaded techniques and improved constraint handling for the tool CAgen

Официальный источник · 2022-06-08

Полные импортированные сведения карточки
{
  "title_en": "Developing multithreaded techniques and improved constraint handling for the tool CAgen",
  "designation": "Conference Paper",
  "series": "Conference Paper",
  "status": "Final",
  "date": "2022-06-08",
  "date_original": "6/08/2022",
  "url": "https://csrc.nist.gov/pubs/conference/2022/06/08/developing-multithreaded-techniques/final",
  "source": "CSRC",
  "display_en": "Conference Paper (Final)",
  "authors_en": "",
  "abstract_excerpt_en": "",
  "id": "44f8b34ed2e658d0d203",
  "sources": [
    "CSRC"
  ],
  "source_records": [
    {
      "title_en": "Developing multithreaded techniques and improved constraint handling for the tool CAgen",
      "designation": "Conference Paper",
      "series": "Conference Paper",
      "status": "Final",
      "date": "2022-06-08",
      "date_original": "6/08/2022",
      "url": "https://csrc.nist.gov/pubs/conference/2022/06/08/developing-multithreaded-techniques/final",
      "source": "CSRC",
      "display_en": "Conference Paper (Final)",
      "authors_en": "",
      "abstract_excerpt_en": ""
    }
  ],
  "translation_state": "none",
  "possible_title_matches": 1
}