Robert Meolic

ORCID iD
https://orcid.org/0000-0003-3395-1227
  • Country
  • Show details Hide details
Slovenia

Sources:
Robert Meolic (2016-02-16)

  • Keywords
  • Show details Hide details
temporal logic,

Sources:
Robert Meolic (2016-02-16)

model checking,

Sources:
Robert Meolic (2016-02-16)

EST,

Sources:
Robert Meolic (2016-02-16)

CTL,

Sources:
Robert Meolic (2016-02-16)

Biddy,

Sources:
Robert Meolic (2016-02-16)

ACTLW,

Sources:
Robert Meolic (2016-02-16)

ACTL,

Sources:
Robert Meolic (2016-02-16)

ROBDD,

Sources:
Robert Meolic (2016-02-16)

Formal verification

Sources:
Robert Meolic (2016-02-16)

  • Websites
  • Show details Hide details
Mendeley profile

Sources:
Elsevier - Mendeley (2017-04-14)

  • Other IDs
  • Show details Hide details
ResearcherID: C-1659-2016

Sources:
ResearcherID (2016-02-09)

Scopus Author ID: 23035557800

Sources:
Scopus - Elsevier (2017-10-13)

Record last modified {{lastModifiedDate}}