Search Results - "решающая диаграмма охраняемых действий"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Extracting Assertions for Conflicts in HDL Descriptions

    Extracting Assertions for Conflicts in HDL Descriptions

    Alexander Sergeevitch Kamkin, Mikhail Sergeevitch Lebedev, Sergey Alexandrovitch Smolov

    electronic resource

    View item; View item; View item

    View record in DOAJ
    Save to List

Search Tools: