Igor Konnov

ORCID iD
https://orcid.org/0000-0001-6629-3377
  • Also known as
  • Show details Hide details
Igor Vladimirovich Konnov

Sources:
Igor Konnov (2016-07-15)

  • Country
  • Show details Hide details
Austria

Sources:
Igor Konnov (2016-07-15)

  • Keywords
  • Show details Hide details
model checking, parameterized verification, verification of distributed algorithms

Sources:
Igor Konnov (2016-07-15)

  • Websites
  • Show details Hide details
http://forsyte.tuwien.ac.at/people/konnov

Sources:
Igor Konnov (2016-07-15)

  • Other IDs
  • Show details Hide details
Scopus Author ID: 7004514943

Sources:
Scopus to ORCID (2017-07-31)

  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} |  ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No education added yet
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} |  ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No employment added yet
No Funding added yet
No publications added yet