Zmago Brezočnik

ORCID iD
https://orcid.org/0000-0003-4167-1882
  • Keywords
  • Show details Hide details
Formal Verification, Model Checking, Spin SpinRCP, Binary Decision Diagrams

Sources:
Zmago Brezočnik (2016-11-21)

Record last modified {{lastModifiedDate}}