close
Jump to content

Detecting Malicious Code by Model Checking (Q69435702)

From Wikidata
scientific article published in 2005
edit
Language Label Description Also known as
default for all languages
No label defined
    English
    Detecting Malicious Code by Model Checking
    scientific article published in 2005

      Statements

      Detecting Malicious Code by Model Checking (English)
      0 references
      0 references
      Johannes Kinder
      0 references
      Stefan Katzenbeisser
      0 references
      Helmut Veith
      0 references
      2005
      0 references
      174-187
      0 references

      Identifiers

       
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    edit
                      edit